Complementary Definitions of Programming Language Semantics.
General Material Designation
[Book]
First Statement of Responsibility
J E Donahue
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
Springer Oct.
Date of Publication, Distribution, etc.
2007
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(172 pages).
SERIES
Series Title
Lecture Notes in Computer Science Ser.
CONTENTS NOTE
Text of Note
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.