Complementary Definitions of Programming Language Semantics

✍ Scribed by James E. Donahue (auth.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 1976
• Tongue: English
• Leaves: 177
• Series: Lecture Notes in Computer Science 42
• Edition: 1
• Category: Library

✦ Table of Contents

Introduction....Pages 1-4
History and literature review....Pages 5-21
Basic elements of the lattice-theoretic approach....Pages 22-29
Complementary definitions of a PASCAL subset....Pages 30-76
Consistency of the PASCAL subset definitions....Pages 77-113
Extensions to the PASCAL subset language....Pages 114-156
Conclusions and directions of future research....Pages 157-162

✦ Subjects

Computer Science, general