Complementary Definitions of Programming Language Semantics
Titre:
Complementary Definitions of Programming Language Semantics
ISBN (Numéro international normalisé des livres):
9783540381600
Auteur personnel:
Edition:
1st ed. 1976.
PRODUCTION_INFO:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1976.
Description physique:
VII, 173 p. online resource.
Collections:
Lecture Notes in Computer Science, 42
Table des matières:
History and literature review -- Basic elements of the lattice-theoretic approach -- Complementary definitions of a PASCAL subset -- Consistency of the PASCAL subset definitions -- Extensions to the PASCAL subset language -- Conclusions and directions of future research.
Auteur collectif ajouté:
Accès électronique:
Full Text Available From Springer Nature Computer Science Archive Packages
Langue:
Anglais