The Vienna Development Method: The Meta-Language [electronic resource] /
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.
Saved in:
Main Authors: | , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1978
|
Subjects: | Computer science., Programming languages (Electronic computers)., Computer logic., Mathematical logic., Computer Science., Programming Languages, Compilers, Interpreters., Mathematical Logic and Formal Languages., Logics and Meanings of Programs., |
Online Access: | http://dx.doi.org/10.1007/3-540-08766-4 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Summary: | 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. |
---|