4386 search results - page 266 / 878 » A Tamper-Resistant Programming Language System |
123
click to vote
LACL
2001
Springer
15 years 7 months ago
2001
Springer
In categorial systems with a fixed structural component, the learning problem comes down to finding the solution for a set of typeassignment equations. A hard-wired structural co...
229
Voted
POPL
2005
ACM
16 years 3 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
138
click to vote
PODS
2002
ACM
16 years 3 months ago
2002
ACM
Research on information extraction from Web pages (wrapping) has seen much activity in recent times (particularly systems implementations), but little work has been done on formal...
120
click to vote
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
Despite its powerful module system, ML has not yet evolved for the modern world of dynamic and open modular programming, to which more primitive languages have adapted better so f...
107
click to vote
GPCE
2008
Springer
15 years 4 months ago
2008
Springer
Extensive research efforts have been devoted to implement a group of type-safe mutually recursive classes; recently, proposals for separating each member of the group as a reusabl...