H. Bekic

Programming Languages and their Definition

Selected Papers
Herausgeber: Jones, C. B.

• Broschiertes Buch

Produktbeschreibung

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.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Lecture Notes in Computer Science 177
• Verlag: Springer, Berlin
• 1984.
• Seitenzahl: 292
• Erscheinungstermin: 1. August 1984
• Englisch
• Abmessung: 235mm x 155mm x 16mm
• Gewicht: 472g
• ISBN-13: 9783540133780
• ISBN-10: 354013378X
• Artikelnr.: 09218411

Inhaltsangabe

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.