Complementary definitions of programming language semantics
Author(s)
Bibliographic Information
Complementary definitions of programming language semantics
(Lecture notes in computer science, 42)
Springer-Verlag, 1976
- : gw
- : us
Available at / 35 libraries
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. [163]-172
Description and Table of Contents
Table of Contents
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.
by "Nielsen BookData"