Design and Implementation of Programming Languages
Springer Berlin (Verlag)
978-3-540-08360-3 (ISBN)
Section I the common programming language effort of the department of defense.- Section II data types.- Section III parallel processing, machine dependency and program verification.- Section IV programming language specifications, optimization and run-time support systems.- A note on "pointers".- Some issues in data types and type checking.- Models of data objects and data types.- Encapsulated data types and generic procedures.- Run-time checking of data access in pascal-like languages.- A language design for structured concurrency.- Language features for parallel processing and resource control.- Separate definition and compilation in lis and its implementation.- Requirements for real-time languages.- Remarks on the impact of program verification on language design.- Target computer independent optimization procedures for metacompilers.- The need for optimization standards.- A reminder for language designers.- The tinman and communications applications.- Programming language design issues.- Parallel processing and modular software construction.- After-dinner speech.- Tinman needed characteristics.
| Erscheint lt. Verlag | 1.8.1977 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | X, 498 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 170 x 250 mm |
| Gewicht | 717 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
| Informatik ► Theorie / Studium ► Compilerbau | |
| Schlagworte | Computer • Design • Optimization • Programmiersprache • programming • Programming language • verification |
| ISBN-10 | 3-540-08360-X / 354008360X |
| ISBN-13 | 978-3-540-08360-3 / 9783540083603 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
