4386 search results - page 613 / 878 » A Tamper-Resistant Programming Language System |
159
click to vote
HASKELL
2007
ACM
15 years 7 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
132
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
142
click to vote
LFP
1992
15 years 5 months ago
1992
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...
134
click to vote
IFL
2003
Springer
15 years 9 months ago
2003
Springer
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
119
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...