Complementary Definitions of Programming Language Semantics, 1976
Lecture Notes in Computer Science Series, Vol. 42

Author:

Language: English

24.25 €

Subject to availability at the publisher.

Add to cartAdd to cart
Publication date:
173 p. · 15.5x23.5 cm · Paperback
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.