Complementary Definitions of Programming Language Semantics
Seiten
1976
|
1976
Springer Berlin (Verlag)
978-3-540-07628-5 (ISBN)
Springer Berlin (Verlag)
978-3-540-07628-5 (ISBN)
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.
| Erscheint lt. Verlag | 1.4.1976 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | VII, 173 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 268 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
| Informatik ► Theorie / Studium ► Compilerbau | |
| Schlagworte | PASCAL • programming • Programming language • Semantics |
| ISBN-10 | 3-540-07628-X / 354007628X |
| ISBN-13 | 978-3-540-07628-5 / 9783540076285 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
a beginner's guide to learning llvm compiler tools and core …
Buch | Softcover (2024)
Packt Publishing Limited (Verlag)
CHF 69,80
