skip to content
Semantics with applications : an appetizer Preview this item
ClosePreview this item
Checking...

Semantics with applications : an appetizer

Author: Hanne Riis Nielson; Flemming Nielson
Publisher: London : Springer, 2007.
Series: Undergraduate topics in computer science.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:

This book provides a rigorous introduction to the formal semantics of programming languages. Coverage includes the fundamental ideas behind these approaches, stresses their relationship by  Read more...

Rating:

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

Subjects
More like this

 

Find a copy online

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: Hanne Riis Nielson; Flemming Nielson
ISBN: 9781846286919 1846286913 1846286921 9781846286926
OCLC Number: 132579217
Description: xii, 274 pages : illustrations ; 24 cm.
Contents: List of Tables.- Preface.- Introduction.- Operational Semantics.- More on Operational Semantics.- Provably Correct Implementation.- Denotational Semantics.- More on Denotational Semantics.- Program Analysis.- More on Program Analysis.- Axiomatic Program Verification.- More on Axiomatic Program Verification.- Further Reading .- Review of Notation.- Implementation of Program Analysis.- Bibliography.- Index.
Series Title: Undergraduate topics in computer science.
Responsibility: Hanne Riis Nielson and Flemming Nielson.
More information:

Reviews

Editorial reviews

Publisher Synopsis

From the reviews: "This book title, with its explicit reference to applications, quickly grabbed my attention due to the theoretical nature of formal semantics. ... In any case, this book certainly Read more...

 
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/132579217> # Semantics with applications : an appetizer
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "132579217" ;
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/287602040#Topic/programsprak> ; # Programspråk
    schema:about <http://experiment.worldcat.org/entity/work/data/287602040#Topic/programming_languages_electronic_computers_semantics> ; # Programming languages (Electronic computers)--Semantics
    schema:about <http://experiment.worldcat.org/entity/work/data/287602040#Topic/formale_semantik> ; # Formale Semantik
    schema:about <http://dewey.info/class/005.131/e22/> ;
    schema:about <http://id.loc.gov/authorities/subjects/sh85107316> ; # Programming languages (Electronic computers)--Semantics
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/51843762> ; # Flemming Nielson
    schema:creator <http://experiment.worldcat.org/entity/work/data/287602040#Person/nielson_hanne_riis_1954> ; # Hanne Riis Nielson
    schema:datePublished "2007" ;
    schema:description "List of Tables.- Preface.- Introduction.- Operational Semantics.- More on Operational Semantics.- Provably Correct Implementation.- Denotational Semantics.- More on Denotational Semantics.- Program Analysis.- More on Program Analysis.- Axiomatic Program Verification.- More on Axiomatic Program Verification.- Further Reading .- Review of Notation.- Implementation of Program Analysis.- Bibliography.- Index."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/287602040> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/287602040#Series/undergraduate_topics_in_computer_science> ; # Undergraduate topics in computer science.
    schema:name "Semantics with applications : an appetizer"@en ;
    schema:productID "132579217" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/132579217#PublicationEvent/london_springer_2007> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/287602040#Agent/springer> ; # Springer
    schema:url <http://www.gbv.de/dms/ilmenau/toc/519519698.PDF> ;
    schema:url <http://catdir.loc.gov/catdir/enhancements/fy0825/2006939147-t.html> ;
    schema:url <http://swbplus.bsz-bw.de/bsz264636740cov.htm> ;
    schema:url <http://swbplus.bsz-bw.de/bsz264636740inh.htm> ;
    schema:url <http://swbplus.bsz-bw.de/bsz264636740vor.htm> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015670124&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:workExample <http://worldcat.org/isbn/9781846286926> ;
    schema:workExample <http://worldcat.org/isbn/9781846286919> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA707017> ;
    umbel:isLike <http://d-nb.info/981672620> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/132579217> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/287602040#Person/nielson_hanne_riis_1954> # Hanne Riis Nielson
    a schema:Person ;
    schema:birthDate "1954" ;
    schema:familyName "Nielson" ;
    schema:givenName "Hanne Riis" ;
    schema:name "Hanne Riis Nielson" ;
    .

<http://experiment.worldcat.org/entity/work/data/287602040#Series/undergraduate_topics_in_computer_science> # Undergraduate topics in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/132579217> ; # Semantics with applications : an appetizer
    schema:name "Undergraduate topics in computer science." ;
    schema:name "Undergraduate topics in computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/287602040#Topic/programming_languages_electronic_computers_semantics> # Programming languages (Electronic computers)--Semantics
    a schema:Intangible ;
    schema:name "Programming languages (Electronic computers)--Semantics"@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://viaf.org/viaf/51843762> # Flemming Nielson
    a schema:Person ;
    schema:birthDate "1955" ;
    schema:familyName "Nielson" ;
    schema:givenName "Flemming" ;
    schema:name "Flemming Nielson" ;
    .

<http://worldcat.org/isbn/9781846286919>
    a schema:ProductModel ;
    schema:isbn "1846286913" ;
    schema:isbn "9781846286919" ;
    .

<http://worldcat.org/isbn/9781846286926>
    a schema:ProductModel ;
    schema:isbn "1846286921" ;
    schema:isbn "9781846286926" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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