Complementary definitions of programming language semantics /
Introduction -- History and Literature Review -- Introduction -- Operational semantics -- Denotational semantics -- Propositional semantics -- Complementary definitions -- Basic Elements of the Lattice --Theoretic Approach -- Domains -- Functions -- Recursion -- Complementary Definitions of a PASCAL...
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
1976
Berlin ; New York : c1976 Berlin ; New York : 1976 |
| Series: | Lecture notes in computer science ;
42 Lecture notes in computer science 42 Lecture notes in computer science ; 42 Lecture notes in computer science 42 |
| Subjects: |
Internet
Stanford University
| Call Number: |
QA76.7 .D66 |
|---|
Yale University
| Call Number: |
QA76 A1 L43 42 (LC) |
|---|
University of Chicago
| Call Number: |
QA76.7.D67 |
|---|
Johns Hopkins University
| Call Number: |
QA76.7 .D66 1976 |
|---|
Harvard University
| Call Number: |
QA75 .L4 vol.42 QA76.7 .D66 |
|---|
Cornell University
| Call Number: |
QA76.7 .D67 |
|---|
Princeton University
| Call Number: |
QA76.7.D66 |
|---|
Brown University
| Call Number: |
QA76.7 .D66 |
|---|