Complementary Definitions of Programming Language Semantics.
[Book]
J E Donahue
New York
Springer Oct.
2007
(172 pages).
Lecture Notes in Computer Science Ser.
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.