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

Additional Physical Format: Online version:
Donahue, James Edward, 1947-
Complementary definitions of programming language semantics.
Berlin ; New York : Springer-Verlag, 1976
(OCoLC)567670185
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: James E Donahue
ISBN: 038707628X 9780387076287 354007628X 9783540076285
OCLC Number: 2089586
Description: 172 pages ; 25 cm.
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/2089586> # Complementary definitions of programming language semantics
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "2089586" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/348999061#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/348999061#Topic/programmiersprache> ; # Programmiersprache
   schema:about <http://id.worldcat.org/fast/1112079> ; # Semantics
   schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
   schema:about <http://experiment.worldcat.org/entity/work/data/348999061#Topic/semantiek> ; # Semantiek
   schema:about <http://id.worldcat.org/fast/1054264> ; # Pascal (Computer program language)
   schema:about <http://experiment.worldcat.org/entity/work/data/348999061#Topic/programmeertalen> ; # Programmeertalen
   schema:about <http://experiment.worldcat.org/entity/work/data/348999061#Topic/semantik> ; # Semantik
   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/semantique> ; # Sémantique
   schema:about <http://experiment.worldcat.org/entity/work/data/348999061#Topic/pascal_langage_de_programmation> ; # PASCAL (Langage de programmation)
   schema:about <http://dewey.info/class/001.6424/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/348999061#Topic/pascal> ; # PASCAL
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://viaf.org/viaf/195596342> ; # James Edward Donahue
   schema:datePublished "1976" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/348999061> ;
   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/567670185> ;
   schema:name "Complementary definitions of programming language semantics"@en ;
   schema:productID "2089586" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/2089586#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://swbplus.bsz-bw.de/bsz00521081xcov.htm> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=42> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-07628-5> ;
   schema:url <http://dx.doi.org/10.1007/BFb0025364> ;
   schema:workExample <http://worldcat.org/isbn/9783540076285> ;
   schema:workExample <http://worldcat.org/isbn/9780387076287> ;
   umbel:isLike <http://d-nb.info/760222401> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/2089586> ;
    .


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#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/2089586> ; # Complementary definitions of programming language semantics
   schema:name "Lecture notes in computer science ;" ;
    .

<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://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://viaf.org/viaf/195596342> # 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://worldcat.org/isbn/9780387076287>
    a schema:ProductModel ;
   schema:isbn "038707628X" ;
   schema:isbn "9780387076287" ;
    .

<http://worldcat.org/isbn/9783540076285>
    a schema:ProductModel ;
   schema:isbn "354007628X" ;
   schema:isbn "9783540076285" ;
    .

<http://www.worldcat.org/oclc/567670185>
    a schema:CreativeWork ;
   rdfs:label "Complementary definitions of programming language semantics." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/2089586> ; # 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.