4386 search results - page 227 / 878 » A Tamper-Resistant Programming Language System |
ICFP
2002
ACM
16 years 1 months ago
2002
ACM
We present a direct implementation of the shift and reset control operators in the Scheme 48 system. The new implementation improves upon the traditional technique of simulating s...
113
click to vote
APLAS
2009
ACM
15 years 8 months ago
2009
ACM
Restricting destructive update to values of a distinguished reference type prevents functions from being polymorphic in the mutability of their arguments. This restriction makes it...
109
click to vote
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
128
click to vote
IFL
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
180
click to vote
PEPM
2007
ACM
16 years 12 months ago
2007
ACM
programming languages community is vigorously pursuing ways to incorporate F!-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach ...