CC
1999
Springer
13 years 10 months ago
1999
Springer
In this paper, we describe the tool Gem-Mex, supporting Montages, a visual formalism for the speci cation of imperative object oriented programming languages.
ENTCS
1998
13 years 10 months ago
1998
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...