4386 search results - page 243 / 878 » A Tamper-Resistant Programming Language System |
112
click to vote
FROCOS
2005
Springer
15 years 7 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
136
click to vote
PLDI
1994
ACM
15 years 6 months ago
1994
ACM
: Object-oriented programs are difficult to optimize because they execute many dynamically-dispatched calls. These calls cannot easily be eliminated because the compiler does not k...
135
click to vote
KI
1995
Springer
15 years 5 months ago
1995
Springer
The integration of vision and natural languageprocessingincreasingly attracts attention in different areas of AI research. Up to now, however, there have only been a few attempts a...
103
click to vote
WCRE
2000
IEEE
15 years 5 months ago
2000
IEEE
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
123
click to vote
ESOP
2007
Springer
15 years 5 months ago
2007
Springer
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...