---

＜電子ブック＞
The Vienna Development Method: The Meta-Language / edited by D. Bjorner, C.B. Jones
(Lecture Notes in Computer Science. ISSN:16113349 ; 61)

版	1st ed. 1978.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1978
本文言語	英語
大きさ	XX, 384 p : online resource
著者標目	Bjorner, D editor Jones, C.B editor SpringerLink (Online service)
件　名	LCSH:Compilers (Computer programs) LCSH:Machine theory LCSH:Computer science FREE:Compilers and Interpreters FREE:Formal Languages and Automata Theory FREE:Computer Science Logic and Foundations of Programming
一般注記	On the formalization of programming languages: Early history and main approaches -- Programming in the meta-language: A tutorial -- The meta-language: A reference manual -- Denotational semantics of goto: An exit formulation and its relation to continuations -- A formal definition of ALGOL 60 as described in the 1975 modified report -- Software abstraction principles: Tutorial examples of an operating system command language specification and a PL/I-like on-condition language definition -- References & bibliography HTTP:URL=https://doi.org/10.1007/3-540-08766-4

 類似資料