201
click to vote
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
Using a call-by-value functional language as an example, this article illustrates the use of coinductive definitions and proofs in big-step operational semantics, enabling it to d...
126
click to vote
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
140
click to vote
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
We present and solve a path optimization problem on programs. Given a set of program nodes, called critical nodes, we find a shortest path through the program's control flow g...
ESOP
2006
Springer
15 years 6 months ago
2006
Springer
