skip to content
Complementary definitions of programming language semantics Preview this item
ClosePreview this item
Checking...

Complementary definitions of programming language semantics

Author: James E Donahue
Publisher: Berlin ; New York : Springer-Verlag, 1976.
Series: Lecture notes in computer science, 42.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Rating:

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

Subjects
More like this

 

Find a copy in the library

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

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Donahue, James Edward, 1947-
Complementary definitions of programming language semantics.
Berlin ; New York : Springer-Verlag, 1976
(DLC) 76006573
(OCoLC)2089586
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: James E Donahue
ISBN: 9783540381600 3540381600
OCLC Number: 567670185
Reproduction Notes: Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Description: 1 online resource (172 pages).
Details: Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Contents: History and literature review.- Basic elements of the lattice-theoretic approach.- Complementary definitions of a PASCAL subset.- Consistency of the PASCAL subset definitions.- Extensions to the PASCAL subset language.- Conclusions and directions of future research.
Series Title: Lecture notes in computer science, 42.
Responsibility: James E. Donahue.

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/567670185> # Complementary definitions of programming language semantics
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "567670185" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/348999061#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/348999061#Topic/langage_programmation> ; # langage programmation
    schema:about <http://experiment.worldcat.org/entity/work/data/348999061#Topic/semantik> ; # Semantik
    schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
    schema:about <http://experiment.worldcat.org/entity/work/data/348999061#Topic/pascal> ; # PASCAL
    schema:about <http://experiment.worldcat.org/entity/work/data/348999061#Topic/pascal_langage_de_programmation> ; # PASCAL (Langage de programmation)
    schema:about <http://experiment.worldcat.org/entity/work/data/348999061#Topic/langages_de_programmation> ; # Langages de programmation
    schema:about <http://experiment.worldcat.org/entity/work/data/348999061#Topic/programmiersprache> ; # Programmiersprache
    schema:about <http://experiment.worldcat.org/entity/work/data/348999061#Topic/programmeertalen> ; # Programmeertalen
    schema:about <http://experiment.worldcat.org/entity/work/data/348999061#Topic/semantique> ; # Sémantique
    schema:about <http://id.worldcat.org/fast/1112079> ; # Semantics
    schema:about <http://id.worldcat.org/fast/1054264> ; # Pascal (Computer program language)
    schema:about <http://experiment.worldcat.org/entity/work/data/348999061#Topic/pascal_programmiersprache> ; # PASCAL (Programmiersprache)
    schema:about <http://dewey.info/class/001.6424/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/348999061#Topic/semantiek> ; # Semantiek
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/348999061#Person/donahue_james_e_james_edward_1947> ; # James Edward Donahue
    schema:datePublished "1976" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/348999061> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/348999061#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/2089586> ;
    schema:name "Complementary definitions of programming language semantics"@en ;
    schema:productID "567670185" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/567670185#PublicationEvent/berlin_new_york_springer_verlag_1976> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/348999061#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://catalog.hathitrust.org/api/volumes/oclc/2089586.html> ;
    schema:url <http://dx.doi.org/10.1007/BFb0025364> ;
    schema:url <http://books.google.com/books?id=3RexAAAAIAAJ> ;
    schema:workExample <http://worldcat.org/isbn/9783540381600> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/567670185> ;
    .


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/348999061#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/348999061#Person/donahue_james_e_james_edward_1947> # James Edward Donahue
    a schema:Person ;
    schema:birthDate "1947" ;
    schema:familyName "Donahue" ;
    schema:givenName "James Edward" ;
    schema:givenName "James E." ;
    schema:name "James Edward Donahue" ;
    .

<http://experiment.worldcat.org/entity/work/data/348999061#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/567670185> ; # Complementary definitions of programming language semantics
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/348999061#Topic/langage_programmation> # langage programmation
    a schema:Intangible ;
    schema:name "langage programmation"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/348999061#Topic/pascal_langage_de_programmation> # PASCAL (Langage de programmation)
    a schema:Intangible ;
    schema:name "PASCAL (Langage de programmation)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/348999061#Topic/pascal_programmiersprache> # PASCAL (Programmiersprache)
    a schema:Intangible ;
    schema:name "PASCAL (Programmiersprache)"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/348999061#Topic/semantique> # Sémantique
    a schema:Intangible ;
    schema:name "Sémantique"@fr ;
    schema:name "sémantique"@en ;
    .

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

<http://id.worldcat.org/fast/1078704> # Programming languages (Electronic computers)
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)"@en ;
    .

<http://id.worldcat.org/fast/1112079> # Semantics
    a schema:Intangible ;
    schema:name "Semantics"@en ;
    .

<http://worldcat.org/isbn/9783540381600>
    a schema:ProductModel ;
    schema:isbn "3540381600" ;
    schema:isbn "9783540381600" ;
    .

<http://www.worldcat.org/oclc/2089586>
    a schema:CreativeWork ;
    rdfs:label "Complementary definitions of programming language semantics." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/567670185> ; # Complementary definitions of programming language semantics
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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