Sciweavers

IWFM
1998
134views Formal Methods» more  IWFM 1998»
13 years 6 months ago
Facilitating Modular Property-Preserving Extensions of Programming Languages
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on ...
Claus Pahl