Normal view MARC view ISBD view

Donahue, James E.

Complementary Definitions of Programming Language Semantics [electronic resource] / by James E. Donahue. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1976. - VII, 173 p. online resource. - Lecture Notes in Computer Science, 42 0302-9743 ; . - Lecture Notes in Computer Science, 42 .

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.

ISBN: 9783540381600

Standard No.: 10.1007/BFb0025364 doi

Subjects--Topical Terms:
Computer science.
Computer Science.
Computer Science, general.

LC Class. No.: QA75.5-76.95

Dewey Class. No.: 004