---

＜電子ブック＞
Programming Languages and their Definition : Selected Papers / by H. Bekic ; edited by C. B. Jones
(Lecture Notes in Computer Science. ISSN:16113349 ; 177)

版	1st ed. 1984.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1984
本文言語	英語
大きさ	XXXII, 254 p : online resource
著者標目	*Bekic, H author Jones, C. B editor SpringerLink (Online service)
件　名	LCSH:Machine theory LCSH:Compilers (Computer programs) LCSH:Computer science FREE:Formal Languages and Automata Theory FREE:Compilers and Interpreters FREE:Computer Science Logic and Foundations of Programming
一般注記	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 HTTP:URL=https://doi.org/10.1007/BFb0048933

 類似資料