The Resource Semantics with applications : an appetizer, Hanne Riis Nielson and Flemming Nielson
Semantics with applications : an appetizer, Hanne Riis Nielson and Flemming Nielson
Resource Information
The item Semantics with applications : an appetizer, Hanne Riis Nielson and Flemming Nielson represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Semantics with applications : an appetizer, Hanne Riis Nielson and Flemming Nielson represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
- 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 places special emphasis on operational semantics, denotational semantics and axiomatic semantics, this book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications. Historically important application areas are used together with some exciting potential applications."--Jacket
- Language
- eng
- Extent
- 1 online resource (xii, 274 pages).
- Contents
-
- 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
- Isbn
- 9781846286919
- Label
- Semantics with applications : an appetizer
- Title
- Semantics with applications
- Title remainder
- an appetizer
- Statement of responsibility
- Hanne Riis Nielson and Flemming Nielson
- Language
- eng
- 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 places special emphasis on operational semantics, denotational semantics and axiomatic semantics, this book investigates the relationship between the various methods and describes some of the main ideas used, illustrating these via interesting applications. Historically important application areas are used together with some exciting potential applications."--Jacket
- Cataloging source
- GW5XE
- http://library.link/vocab/creatorDate
- 1954-
- http://library.link/vocab/creatorName
- Nielson, Hanne Riis
- Dewey number
- 005.131
- Index
- index present
- Language note
- English
- LC call number
- QA76.7
- LC item number
- .N54 2007eb
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorDate
- 1955-
- http://library.link/vocab/relatedWorkOrContributorName
- Nielson, Flemming
- Series statement
- Undergraduate topics in computer science
- http://library.link/vocab/subjectName
-
- Programming languages (Electronic computers)
- Programming languages (Electronic computers)
- Informatique
- Programming languages (Electronic computers)
- Label
- Semantics with applications : an appetizer, Hanne Riis Nielson and Flemming Nielson
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- 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
- Control code
- 184955277
- Dimensions
- unknown
- Extent
- 1 online resource (xii, 274 pages).
- Form of item
- online
- Isbn
- 9781846286919
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 9786611340001
- http://library.link/vocab/ext/overdrive/overdriveId
- 978-1-84628-691-9
- Specific material designation
- remote
- System control number
- (OCoLC)184955277
- Label
- Semantics with applications : an appetizer, Hanne Riis Nielson and Flemming Nielson
- Bibliography note
- Includes bibliographical references and index
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- 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
- Control code
- 184955277
- Dimensions
- unknown
- Extent
- 1 online resource (xii, 274 pages).
- Form of item
- online
- Isbn
- 9781846286919
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 9786611340001
- http://library.link/vocab/ext/overdrive/overdriveId
- 978-1-84628-691-9
- Specific material designation
- remote
- System control number
- (OCoLC)184955277
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Semantics-with-applications--an-appetizer-Hanne/vnPRRQTtMZk/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Semantics-with-applications--an-appetizer-Hanne/vnPRRQTtMZk/">Semantics with applications : an appetizer, Hanne Riis Nielson and Flemming Nielson</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Semantics with applications : an appetizer, Hanne Riis Nielson and Flemming Nielson
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Semantics-with-applications--an-appetizer-Hanne/vnPRRQTtMZk/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Semantics-with-applications--an-appetizer-Hanne/vnPRRQTtMZk/">Semantics with applications : an appetizer, Hanne Riis Nielson and Flemming Nielson</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>