J. E. Donahue

Complementary Definitions of Programming Language Semantics

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Computer Science 42
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-07628-5
• 1976.
• Seitenzahl: 184
• Erscheinungstermin: 1. April 1976
• Englisch
• Abmessung: 235mm x 155mm x 11mm
• Gewicht: 268g
• ISBN-13: 9783540076285
• ISBN-10: 354007628X
• Artikelnr.: 23116156

Inhaltsangabe

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.