4386 search results - page 240 / 878 » A Tamper-Resistant Programming Language System |
C++
1990
15 years 3 months ago
1990
Programming in a distributed system is fraught with potential difficulties caused, in part, by the physical distribution of the system itself. By making the distribution of the sy...
192
click to vote
POPL
2003
ACM
16 years 2 months ago
2003
ACM
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...
123
click to vote
PLDI
2004
ACM
15 years 7 months ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
110
click to vote
ICFP
2001
ACM
16 years 1 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
114
click to vote
KBSE
2009
IEEE
15 years 8 months ago
2009
IEEE
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...