The Vienna Development Method: The Meta-Language [electronic resource] /

The Vienna Development Method: The Meta-Language [electronic resource] /

Show other versions (1)

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:
Bibliographic Details
Main Authors: Bjørner, Dines. editor., Jones, Cliff B. editor., SpringerLink (Online service)
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!
id KOHA-OAI-TEST:209347
record_format koha
spelling KOHA-OAI-TEST:2093472018-07-30T23:40:57ZThe Vienna Development Method: The Meta-Language [electronic resource] / Bjørner, Dines. editor. Jones, Cliff B. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1978.engOn 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.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.Springer eBookshttp://dx.doi.org/10.1007/3-540-08766-4URN:ISBN:9783540358367
institution COLPOS
collection Koha
country México
countrycode MX
component Bibliográfico
access En linea
En linea
databasecode cat-colpos
tag biblioteca
region America del Norte
libraryname Departamento de documentación y biblioteca de COLPOS
language eng
topic 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.
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.
spellingShingle 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.
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.
Bjørner, Dines. editor.
Jones, Cliff B. editor.
SpringerLink (Online service)
The Vienna Development Method: The Meta-Language [electronic resource] /
description 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.
format Texto
topic_facet 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.
author Bjørner, Dines. editor.
Jones, Cliff B. editor.
SpringerLink (Online service)
author_facet Bjørner, Dines. editor.
Jones, Cliff B. editor.
SpringerLink (Online service)
author_sort Bjørner, Dines. editor.
title The Vienna Development Method: The Meta-Language [electronic resource] /
title_short The Vienna Development Method: The Meta-Language [electronic resource] /
title_full The Vienna Development Method: The Meta-Language [electronic resource] /
title_fullStr The Vienna Development Method: The Meta-Language [electronic resource] /
title_full_unstemmed The Vienna Development Method: The Meta-Language [electronic resource] /
title_sort vienna development method: the meta-language [electronic resource] /
publisher Berlin, Heidelberg : Springer Berlin Heidelberg,
publishDate 1978
url http://dx.doi.org/10.1007/3-540-08766-4
work_keys_str_mv AT bjørnerdineseditor theviennadevelopmentmethodthemetalanguageelectronicresource
AT jonescliffbeditor theviennadevelopmentmethodthemetalanguageelectronicresource
AT springerlinkonlineservice theviennadevelopmentmethodthemetalanguageelectronicresource
AT bjørnerdineseditor viennadevelopmentmethodthemetalanguageelectronicresource
AT jonescliffbeditor viennadevelopmentmethodthemetalanguageelectronicresource
AT springerlinkonlineservice viennadevelopmentmethodthemetalanguageelectronicresource
_version_ 1756268646835945472

Similar Items