Programming Languages and their Definition
Selected Papers
1st Edition
Published on 1. August 1984
Book
Paperback/Softback
XXXII, 254 pages
978-3-540-13378-0 (ISBN)
Description
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.
More details
Series
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
XXXII, 254 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 16 mm
Weight
446 gr
ISBN-13
978-3-540-13378-0 (9783540133780)
DOI
10.1007/BFb0048933
Schweitzer Classification
Content
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.