6274 search results - page 103 / 1255 » Proofs, Programs, Processes |
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
138
click to vote
ESOP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
SIGADA
1998
Springer
15 years 4 months ago
1998
Springer
This experience report demonstrates several running programs with visual, animated, colorful displays of "algorithms in action." A common element of all of the programs ...
IEEEICCI
2002
IEEE
15 years 4 months ago
2002
IEEE
The paper describes the process of program comprehension from the point of view of constructivist theory of learning. According to this view, program comprehension starts with the...
ESOP
2001
Springer
15 years 4 months ago
2001
Springer
Security-typed languages enforce confidentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...