119
click to vote
ESOP
15 years 19 days 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...
107
click to vote
ESOP
15 years 19 days ago
2006 Springer 
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
ESOP
15 years 19 days ago
2006 Springer 
We present a sound and complete method for reasoning about contextual equivalence in the untyped, imperative object calculus of Abadi and Cardelli [1]. Our method is based on bisim...
ESOP
15 years 19 days ago
2006 Springer
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
ESOP
15 years 19 days ago
2006 Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
|
Programming Languages