| Document Type
|
:
|
BL
|
| Record Number
|
:
|
728031
|
| Doc. No
|
:
|
b547768
|
| Main Entry
|
:
|
J E Donahue
|
| Title & Author
|
:
|
Complementary Definitions of Programming Language Semantics.\ J E Donahue
|
| Publication Statement
|
:
|
New York: Springer Oct., 2007
|
| Series Statement
|
:
|
Lecture Notes in Computer Science Ser.
|
| Page. NO
|
:
|
(172 pages).
|
| ISBN
|
:
|
354007628X
|
|
|
:
|
: 9783540076285
|
| 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.
|
| Subject
|
:
|
Programming languages (Electronic computers)
|
| Subject
|
:
|
Semantics.
|
| LC Classification
|
:
|
QA76.7J436 2007
|
| Added Entry
|
:
|
J E Donahue
|