Programming Languages and their Definition : Selected Papers. 1st ed. 1984

種類:

電子ブック

責任表示:

by H. Bekic ; edited by C. B. Jones

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1984

著者名:

• Bekic, H.
• Jones, C. B.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 177

ISBN:

9783540389330 [3540389334]    

注記:

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.

ローカル注記:

学内専用E-BOOKS (local access only)