Programming Languages and their Definition: Selected Papers (Lecture Notes in Computer Science, 177, Band 177) - Softcover

Bekic, H.; Jones, C. B.

 
9783540133780: Programming Languages and their Definition: Selected Papers (Lecture Notes in Computer Science, 177, Band 177)
Softcover
ISBN 10: 354013378X ISBN 13: 9783540133780
Verlag: Springer, 2008

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
354013378X
ISBN 13 
9783540133780
Einband
Taschenbuch
Anzahl der Seiten
288
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland