1497 search results - page 185 / 300 » Extended static checking |
152
click to vote
ESOP
2005
Springer
15 years 6 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 ...
113
click to vote
AFP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, ...
109
Voted
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...
95
Voted
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
98
Voted
RE
2001
Springer
15 years 5 months ago
2001
Springer
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...