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
Summary:
"Semantics will have an important role to play in the future development of software systems and domain specific languages, and there is a real need for an introductory book that presents the fundamental ideas behind these approaches; stresses their relationship by formulating and proving the relevant theorems; and illustrates the applications of semantics in computer science." "Written out of a tradition that  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:

Abstract:

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

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://id.worldcat.org/fast/1078716> ; # Programming languages (Electronic computers)--Semantics
   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://viaf.org/viaf/112753746> ; # 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#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://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/112753746> # Hanne Riis Nielson
    a schema:Person ;
   schema:birthDate "1954" ;
   schema:familyName "Nielson" ;
   schema:givenName "Hanne Riis" ;
   schema:name "Hanne Riis Nielson" ;
    .

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