Sciweavers

Share
CC
1999
Springer
157views System Software» more  CC 1999»
8 years 11 months ago
Tool Support for Language Design and Prototyping with Montages
In this paper, we describe the tool Gem-Mex, supporting Montages, a visual formalism for the speci cation of imperative object oriented programming languages.
Matthias Anlauff, Philipp W. Kutter, Alfonso Piera...
ENTCS
1998
105views more  ENTCS 1998»
8 years 11 months ago
A Concurrent Object Calculus: Reduction and Typing
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...
Andrew D. Gordon, Paul D. Hankin
books