The Vienna Development Method: The Meta-Language. 1st ed. 1978

種類:

電子ブック

責任表示:

edited by D. Bjorner, C.B. Jones

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1978

著者名:

• Bjorner, D.
• Jones, C.B.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 61

ISBN:

9783540358367 [3540358366]    

注記:

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.

ローカル注記:

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