4386 search results - page 101 / 878 » A Tamper-Resistant Programming Language System |
POS
1998
Springer
15 years 5 months ago
1998
Springer
This paper describes the experience of porting a 25,000 line distributed Java [GJS97] program to version 0.3.5.1 of the orthogonally persistent programming environment PJama. The ...
107
click to vote
VL
2003
IEEE
15 years 6 months ago
2003
IEEE
Models of programming and debugging suggest many causes of errors, and many classifications of error types exist. Yet, there has been no attempt to link causes of errors to these ...
140
click to vote
AOSD
2007
ACM
15 years 5 months ago
2007
ACM
Developing and debugging parallel programs particularly for distributed memory architectures is still a difficult task. The most popular approach to developing parallel programs f...
110
click to vote
JLP
2007
15 years 1 months ago
2007
We propose a type system to enforce the security property of noninterference in a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvin...
106
click to vote
ICFP
1997
ACM
15 years 5 months ago
1997
ACM
We present a type system for the programming language Erlang. The type system supports subtyping and declarationfree recursive types, using subtyping constraints. Our system is si...