skip to content
The Vienna development method : the Meta-language Preview this item
ClosePreview this item
Checking...

The Vienna development method : the Meta-language

Author: D Bjørner; C B Jones
Publisher: Berlin ; New York : Springer-Verlag, 1978.
Series: Lecture notes in computer science, 61.
Edition/Format:   Print book : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Aufsatzsammlung
Additional Physical Format: Online version:
Vienna development method.
Berlin ; New York : Springer-Verlag, 1978
(OCoLC)644279324
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: D Bjørner; C B Jones
ISBN: 9780387087665 0387087664 3540087664 9783540087663
OCLC Number: 3843153
Description: xv, 382 pages ; 25 cm.
Contents: 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.
Series Title: Lecture notes in computer science, 61.
Other Titles: Meta-language.
Responsibility: edited by D. Bjørner and C.B. Jones.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/3843153> # The Vienna development method : the Meta-language
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "3843153" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1065459275#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    rdfs:seeAlso <http://experiment.worldcat.org/entity/work/data/1065459275#CreativeWork/meta_language> ; # Meta-language.
    schema:about <http://dewey.info/class/001.6424/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1065459275#Topic/langages_de_programmation> ; # Langages de programmation
    schema:about <http://experiment.worldcat.org/entity/work/data/1065459275#Topic/programmeertalen> ; # Programmeertalen
    schema:about <http://experiment.worldcat.org/entity/work/data/1065459275#Topic/semantik> ; # Semantik
    schema:about <http://experiment.worldcat.org/entity/work/data/1065459275#Topic/linguagem_de_programacao_outras> ; # Linguagem De Programacao (Outras)
    schema:about <http://experiment.worldcat.org/entity/work/data/1065459275#Topic/programmiersprache> ; # Programmiersprache
    schema:about <http://experiment.worldcat.org/entity/work/data/1065459275#Topic/aufsatzsammlung> ; # Aufsatzsammlung
    schema:about <http://experiment.worldcat.org/entity/work/data/1065459275#Topic/vdm> ; # VDM
    schema:about <http://experiment.worldcat.org/entity/work/data/1065459275#Topic/metasprache> ; # Metasprache
    schema:about <http://id.worldcat.org/fast/1004562> ; # ML (Computer program language)
    schema:about <http://experiment.worldcat.org/entity/work/data/1065459275#Topic/computacao_metodologia_e_tecnicas> ; # Computacao (Metodologia E Tecnicas)
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/80936003> ; # Cliff B. Jones
    schema:contributor <http://viaf.org/viaf/85519978> ; # Dines Bjørner
    schema:datePublished "1978" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1065459275> ;
    schema:genre "Aufsatzsammlung"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1065459275#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/644279324> ;
    schema:name "The Vienna development method : the Meta-language"@en ;
    schema:productID "3843153" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/3843153#PublicationEvent/berlin_new_york_springer_verlag_1978> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1065459275#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://dx.doi.org/10.1007/3-540-08766-4> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=61> ;
    schema:url <http://swbplus.bsz-bw.de/bsz011129603cov.htm> ;
    schema:url <https://www.lib.uwo.ca/cgi-bin/ezpauthn.cgi?url=http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=61> ;
    schema:workExample <http://worldcat.org/isbn/9783540087663> ;
    schema:workExample <http://worldcat.org/isbn/9780387087665> ;
    umbel:isLike <http://d-nb.info/780302125> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/3843153> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1065459275#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/1065459275#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/3843153> ; # The Vienna development method : the Meta-language
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1065459275#Topic/computacao_metodologia_e_tecnicas> # Computacao (Metodologia E Tecnicas)
    a schema:Intangible ;
    schema:name "Computacao (Metodologia E Tecnicas)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1065459275#Topic/langages_de_programmation> # Langages de programmation
    a schema:Intangible ;
    schema:name "Langages de programmation"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1065459275#Topic/linguagem_de_programacao_outras> # Linguagem De Programacao (Outras)
    a schema:Intangible ;
    schema:name "Linguagem De Programacao (Outras)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1065459275#Topic/programmiersprache> # Programmiersprache
    a schema:Intangible ;
    schema:name "Programmiersprache"@en ;
    .

<http://id.worldcat.org/fast/1004562> # ML (Computer program language)
    a schema:Intangible ;
    schema:name "ML (Computer program language)"@en ;
    .

<http://viaf.org/viaf/80936003> # Cliff B. Jones
    a schema:Person ;
    schema:birthDate "1944" ;
    schema:familyName "Jones" ;
    schema:givenName "Cliff B." ;
    schema:givenName "C. B." ;
    schema:name "Cliff B. Jones" ;
    .

<http://viaf.org/viaf/85519978> # Dines Bjørner
    a schema:Person ;
    schema:birthDate "1937" ;
    schema:familyName "Bjørner" ;
    schema:givenName "Dines" ;
    schema:givenName "D." ;
    schema:name "Dines Bjørner" ;
    .

<http://worldcat.org/isbn/9780387087665>
    a schema:ProductModel ;
    schema:isbn "0387087664" ;
    schema:isbn "9780387087665" ;
    .

<http://worldcat.org/isbn/9783540087663>
    a schema:ProductModel ;
    schema:isbn "3540087664" ;
    schema:isbn "9783540087663" ;
    .

<http://www.worldcat.org/oclc/644279324>
    a schema:CreativeWork ;
    rdfs:label "Vienna development method." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/3843153> ; # The Vienna development method : the Meta-language
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.