Items related to Complementary Definitions of Programming Language Semantics:...

Complementary Definitions of Programming Language Semantics: 42 (Lecture Notes in Computer Science, 42) - Softcover

Donahue, J.E.

 
9783540076285: Complementary Definitions of Programming Language Semantics: 42 (Lecture Notes in Computer Science, 42)

Synopsis

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.

"synopsis" may belong to another edition of this title.

From the Back Cover

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.

"About this title" may belong to another edition of this title.