4386 search results - page 222 / 878 » A Tamper-Resistant Programming Language System |
120
click to vote
ISOOMS
1994
15 years 6 months ago
1994
Although object-oriented programming techniques have evolved into an accepted technology with recognized benefits for software development, profound investigations of qualitative a...
124
click to vote
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
We have verified several versions of the CPS transformation in Isabelle/HOL. In our verification we adopted first-order abstract syntax with variable names so that the formalizati...
107
click to vote
SIGADA
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
108
click to vote
COMPASS
1994
15 years 6 months ago
1994
ASL+ is a formalism for speci cation and programming in-the-large, based on an arbitrary institution. It has rules for proving the satisfaction and re nement of speci cations, whic...
138
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Program errors are a source of information leaks. Tracking these leaks is hard because error propagation breaks out of program structure. Programming languages often feature excep...