The Vienna Development Method: The Meta-Language

Herausgegeben:Bjorner, D.; Jones, C. B.

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Computer Science 61
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-08766-3
• 1978.
• Seitenzahl: 404
• Erscheinungstermin: 1. Mai 1978
• Englisch
• Abmessung: 235mm x 155mm x 22mm
• Gewicht: 567g
• ISBN-13: 9783540087663
• ISBN-10: 3540087664
• Artikelnr.: 23119099

Inhaltsangabe

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.