Programming Languages and their Definition
Springer Berlin (Verlag)
978-3-540-13378-0 (ISBN)
Note on a test example for ALGOL60 compilers by D.E. Knuth.- The assignment to a type procedure identifier in ALGOL60.- The meaning of names in PL/I.- Defining a language in its own terms.- Note on some problems concerning the PL/I manual and its re-writing.- Definable operations in general algebras, and the theory of automata and flowcharts.- Formalization of storage properties.- On the formal definition of programming languages.- A formal definition of a PL/I subset.- Mathematical semantics and compiler correctness.- Towards a mathematical theory of processes.- From comments arising from a lecture in Amsterdam, June 1972.- The semantics of parallel processing.- Nondeterministic functions and the semantics of CSP.- Nondeterministic programs : An example.- A model of nondeterminism: Indexed sets and their equivalence.
| Erscheint lt. Verlag | 1.8.1984 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | XXXII, 254 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 233 mm |
| Gewicht | 469 g |
| Themenwelt | Informatik ► Theorie / Studium ► Compilerbau |
| Schlagworte | ALGOL • Automata • Compiler • Functions • Mathematica • PL/I • Programmiersprache • programming • Programming language • Semantics |
| ISBN-10 | 3-540-13378-X / 354013378X |
| ISBN-13 | 978-3-540-13378-0 / 9783540133780 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
