Design of a specification language by abstract syntax engineering

DSpace/Manakin Repository

Design of a specification language by abstract syntax engineering
 
Baeten, J.C.M.; Bergstra, J.A.
(1991) lecture Notes in Computer Science, volume 490, pp. 363 - 394
(Article in proceedings)
Abstract
In this paper, we design a specification language in an entirely algebraic style. We describe the language in terms of abstract syntax only. We argue that this is the correct approach in language design.
Download/Full Text
Open Access version via Utrecht University Repository
 
Keywords: abstract syntax, module algebra, ASF, specification languages
ISSN: 0302-9743
Publisher: Springer-Verlag
 
 
See more statistics about this item