Complementary Definitions of Programming Language Semantics
Title:
Complementary Definitions of Programming Language Semantics
ISBN:
9783540381600
Personal Author:
Edition:
1st ed. 1976.
Publication Information New:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1976.
Physical Description:
VII, 173 p. online resource.
Series:
Lecture Notes in Computer Science, 42
Contents:
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.
Added Corporate Author:
Electronic Access:
Full Text Available From Springer Nature Computer Science Archive Packages
Language:
English