ESOP
2003
Springer
14 years 5 months ago
2003
Springer
Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core pred...
ESOP
2003
Springer
14 years 5 months ago
2003
Springer
ESOP
2003
Springer
14 years 5 months ago
2003
Springer
ESOP
2003
Springer
14 years 5 months ago
2003
Springer
Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that ...
ESOP
2003
Springer
14 years 5 months ago
2003
Springer
Programmers confront a minefield when they design interactive Web programs. Web interactions take place via Web browsers. With browsers, consumers can whimsically navigate among t...
ESOP
2003
Springer
14 years 5 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
ESOP
2003
Springer
14 years 5 months ago
2003
Springer
ESOP
2003
Springer
14 years 5 months ago
2003
Springer
A partial evaluator is said to be Jones-optimal if the result of specializing a self-interpreter with respect to a source program is textually identical to the source program, modu...
ESOP
2003
Springer
14 years 5 months ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
ESOP
2003
Springer
14 years 5 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...