4386 search results - page 151 / 878 » A Tamper-Resistant Programming Language System |
119
click to vote
PLDI
1989
ACM
15 years 5 months ago
1989
ACM
We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...
140
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relations...
110
click to vote
EUROSYS
2008
ACM
15 years 10 months ago
2008
ACM
Programs written in type-unsafe languages such as C and C++ incur costly memory errors that result in corrupted data structures, program crashes, and incorrect results. We present...
159
click to vote
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...