skip to content
Action semantics Preview this item
ClosePreview this item
Checking...

Action semantics

Author: Peter Mosses
Publisher: Cambridge ; New York : Cambridge University Press, 1992.
Series: Cambridge tracts in theoretical computer science, 26.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Action Semantics is a comprehensive introduction to the semantics of programming languages. It will be of use to graduates of computer science and mathematics.

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

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Peter Mosses
ISBN: 0521403472 9780521403474
OCLC Number: 27938402
Description: xx, 372 pages : illustrations ; 26 cm.
Contents: Motivation --
Concepts --
Formalities --
Basic --
Data --
Functional --
Declarative --
Imperative --
Reflective --
Communicative --
Statements --
Literals --
Expressions --
Declarations --
Variables --
Subprogramming --
Tasks --
Other frameworks --
Development.
Series Title: Cambridge tracts in theoretical computer science, 26.
Responsibility: Peter D. Mosses.
More information:

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/27938402> # Action semantics
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "27938402" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/43564260#Place/cambridge> ; # Cambridge
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/43564260#Topic/formale_semantik> ; # Formale Semantik
    schema:about <http://experiment.worldcat.org/entity/work/data/43564260#Topic/langages_de_programmation_semantique> ; # Langages de programmation--Sémantique
    schema:about <http://id.worldcat.org/fast/1078716> ; # Programming languages (Electronic computers)--Semantics
    schema:about <http://dewey.info/class/005.131/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/43564260#Topic/programmation_informatique> ; # Programmation (Informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/43564260#Topic/programmiersprache> ; # Programmiersprache
    schema:about <http://experiment.worldcat.org/entity/work/data/43564260#Thing/programming_languages> ; # Programming languages
    schema:about <http://id.loc.gov/authorities/subjects/sh85107316> ; # Programming languages (Electronic computers)--Semantics
    schema:about <http://experiment.worldcat.org/entity/work/data/43564260#Topic/semantik> ; # Semantik
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/728498> ; # Peter Mosses
    schema:datePublished "1992" ;
    schema:description "Motivation -- Concepts -- Formalities -- Basic -- Data -- Functional -- Declarative -- Imperative -- Reflective -- Communicative -- Statements -- Literals -- Expressions -- Declarations -- Variables -- Subprogramming -- Tasks -- Other frameworks -- Development."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/43564260> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/43564260#Series/cambridge_tracts_in_theoretical_computer_science> ; # Cambridge tracts in theoretical computer science ;
    schema:name "Action semantics"@en ;
    schema:productID "27938402" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/27938402#PublicationEvent/cambridge_new_york_cambridge_university_press_1992> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/43564260#Agent/cambridge_university_press> ; # Cambridge University Press
    schema:url <http://catdir.loc.gov/catdir/toc/cam029/92249086.html> ;
    schema:workExample <http://worldcat.org/isbn/9780521403474> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9248990> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/27938402> ;
    .


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/43564260#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
    schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/43564260#Series/cambridge_tracts_in_theoretical_computer_science> # Cambridge tracts in theoretical computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/27938402> ; # Action semantics
    schema:name "Cambridge tracts in theoretical computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/43564260#Thing/programming_languages> # Programming languages
    a schema:Thing ;
    schema:name "Programming languages" ;
    .

<http://experiment.worldcat.org/entity/work/data/43564260#Topic/formale_semantik> # Formale Semantik
    a schema:Intangible ;
    schema:name "Formale Semantik"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/43564260#Topic/langages_de_programmation_semantique> # Langages de programmation--Sémantique
    a schema:Intangible ;
    schema:name "Langages de programmation--Sémantique"@en ;
    schema:name "Langages de programmation--Sémantique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/43564260#Topic/programmation_informatique> # Programmation (Informatique)
    a schema:Intangible ;
    schema:name "Programmation (Informatique)"@fr ;
    .

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

<http://id.loc.gov/authorities/subjects/sh85107316> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)--Semantics"@en ;
    .

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

<http://viaf.org/viaf/728498> # Peter Mosses
    a schema:Person ;
    schema:familyName "Mosses" ;
    schema:givenName "Peter" ;
    schema:name "Peter Mosses" ;
    .

<http://worldcat.org/isbn/9780521403474>
    a schema:ProductModel ;
    schema:isbn "0521403472" ;
    schema:isbn "9780521403474" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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