enter search term and/or author name
The receptive distributed π-calculus
Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine
We study an asynchronous distributed π-calculus, with constructs for localities and migration. We show that a static analysis ensures the receptiveness of channel names, which, together with a simple type system, guarantees the message...
Class analyses as abstract interpretations of trace semantics
Fausto Spoto, Thomas Jensen
We use abstract interpretation to abstract a compositional trace semantics for a simple imperative object-oriented language into its projection over a set of program points called watchpoints. We say that the resulting watchpoint...
Generating LR syntax error messages from examples
Clinton L. Jeffery
LR parser generators are powerful and well-understood, but the parsers they generate are not suited to provide good error messages. Many compilers incur extensive modifications to the source grammar to produce useful syntax error messages....
Jam---designing a Java extension with mixins
Davide Ancona, Giovanni Lagorio, Elena Zucca
In this paper we present Jam, an extension of the Java language supporting mixins, that is, parametric heir classes. A mixin declaration in Jam is similar to a Java heir class declaration, except that it does not extend a fixed parent class,...