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!
|
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 |