Home

WorldCat Home About WorldCat Help

Search

Search for Library Items Search for Lists Search for Contacts Search for a Library

Create lists, bibliographies and reviews: or

Cite/Export

Cite/Export

Copy a citation

APA (6th ed.)

Chicago (Author-Date, 15th ed.)

Harvard (18th ed.)

MLA (7th ed.)

Turabian (6th ed.)

Export a citation
Export to RefWorks Export to EndNote / Reference Manager Export to EasyBib
Export to EndNote / Reference Manager(non-Latin) Cancel
Note: Citations are based on reference standards. However, formatting rules can vary widely between applications and fields of interest or study. The specific requirements or preferences of your reviewing publisher, classroom teacher, institution or organization should be applied.
Print
E-mail

E-mail

All fields are required.

The E-mail Address(es) field is required. Please enter recipient e-mail address(es).

The E-mail Address(es) you entered is(are) not in a valid format. Please re-enter recipient e-mail address(es).

You may send this item to up to five recipients.
Enter recipient e-mail address(es): Separate up to five addresses with commas (,)
The name field is required. Please enter your name.
Enter your name: Subject:
The E-mail message field is required. Please enter the message.
E-mail Message: I thought you might be interested in this item at http://www.worldcat.org/oclc/27938402 Title: Action semantics Author: Peter Mosses Publisher: Cambridge ; New York : Cambridge University Press, 1992. ISBN/ISSN: 0521403472 9780521403474 OCLC:27938402

Please verify that you are not a robot.

Cancel
Share
Permalink

Permalink

Copy this URL to link to this page:

Write a review
Rate this item:
- 1
- 2
- 3
- 4
- 5

Preview 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	Programming languages (Electronic computers) -- Semantics. Langages de programmation -- Sémantique. Programmation (Informatique) View all subjects
More like this	Similar Items

Find a copy in the library

Finding libraries that hold this item...

Details

Material Type:	Internet resource
Document Type:	Book, Internet Resource
All Authors / Contributors:	Peter Mosses Find more information about:
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:	Table of contents Publisher description

Reviews

User-contributed reviews

Linked Data

Primary Entity

Related Entities

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

<http://dewey.info/class/005.131/e20/>
a schema:Intangible ;
.

<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#Place/cambridge> # Cambridge
    a schema:Place ;
    schema:name "Cambridge" ;
    .

<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://experiment.worldcat.org/entity/work/data/43564260#Topic/semantik> # Semantik
    a schema:Intangible ;
    schema:name "Semantik"@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.loc.gov/vocabulary/countries/enk>
    a schema:Place ;
    dcterms:identifier "enk" ;
    .

<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" ;
    .

<http://www.worldcat.org/title/-/oclc/27938402>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/27938402> ; # Action semantics
    schema:dateModified "2018-10-17" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<http://www.worldcat.org/title/-/oclc/27938402#PublicationEvent/cambridge_new_york_cambridge_university_press_1992>
    a schema:PublicationEvent ;
    schema:location <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:location <http://experiment.worldcat.org/entity/work/data/43564260#Place/cambridge> ; # Cambridge
    schema:organizer <http://experiment.worldcat.org/entity/work/data/43564260#Agent/cambridge_university_press> ; # Cambridge University Press
    schema:startDate "1992" ;
    .

Content-negotiable representations

Turtle (text/turtle)
JSON-LD (application/ld+json)
RDF/XML (application/rdf+xml)
N-TRIPLES (text/plain)
HTML+RDFa (text/html)

Please sign in to WorldCat

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

You:	Sign In \| Register \| My WorldCat \| My Lists \| My Watchlist \| My Reviews \| My Tags \| My Saved Searches
WorldCat:	Home \| About \| Help \| Search