Semantics with Applications: An Appetizer Paperback - 2007
by Hanne Riis Nielson; Flemming Nielson
From the publisher
From the rear cover
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 including:
- Validating prototype implementations of programming languages
- Verifying program analyses that are part of more advanced implementations of programming languages
- Verifying security analyses
- Verifying useful program properties including information about execution time.
This is an introductory text that should serve as an appetizer to the whole area of semantics with applications.
Details
- Title Semantics with Applications: An Appetizer
- Author Hanne Riis Nielson; Flemming Nielson
- Binding Paperback
- Edition INTERNATIONAL ED
- Pages 274
- Volumes 1
- Language ENG
- Publisher Springer, London, England
- Date 2007-04-27
- Illustrated Yes
- Features Bibliography, Illustrated, Index
- ISBN 9781846286919 / 1846286913
- Weight 1.03 lbs (0.47 kg)
- Dimensions 9.24 x 7.11 x 0.53 in (23.47 x 18.06 x 1.35 cm)
- Library of Congress Catalog Number 2006939147
- Dewey Decimal Code 005.131
More Copies for Sale
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
by Nielson, Hanne Riis
- Used
- Good
- Condition
- Used - Good
- Edition
- 2007
- ISBN 10 / ISBN 13
- 9781846286919 / 1846286913
- Quantity Available
- 1
- Seller
-
Philadelphia, Pennsylvania, United States
- Item Price
-
$14.78FREE shipping to USA
Show Details
Semantics with Applications
by Hanne Riis Nielson Flemming Nielson
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9781846286919 / 1846286913
- Quantity Available
- 4
- Seller
-
Woodside, New York, United States
- Item Price
-
$24.21$3.99 shipping to USA
Show Details
Semantics With Applications: An Appetizer (Pb)
by NIELSON H. R.
- New
- Note
- International Edition
- Condition
- New
- Edition
- USA Edition
- Quantity Available
- 10
- Seller
-
Harrison, New Jersey, United States
- Item Price
-
$26.70$2.00 shipping to USA
Show Details
Semantics with Applications: An Appetizer
by Hanne Riis Nielson
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9781846286919 / 1846286913
- Quantity Available
- 966
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
$40.53$10.75 shipping to USA
Show Details
SEMANTICS WITH APPLICATIONS: AN APPETIZER
by RIIS NIELSON
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9781846286919 / 1846286913
- Quantity Available
- 1
- Seller
-
New Delhi, India
- Item Price
-
$30.54$5.00 shipping to USA
Show Details
Semantics With Applications: An Appetizer (Pb)
by Nielson H. R.
- Used
- Condition
- New
- ISBN 10 / ISBN 13
- 9781846286919 / 1846286913
- Quantity Available
- 5
- Seller
-
Indianapolis, Indiana, United States
- Item Price
-
$33.11$12.65 shipping to USA
Show Details
Semantics with Applications: An Appetizer
by Hanne Riis Nielson
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9781846286919 / 1846286913
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
$51.05$13.39 shipping to USA
Show Details
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
by Nielson, Hanne Riis
- Used
- Good
- Paperback
- Condition
- Used - Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9781846286919 / 1846286913
- Quantity Available
- 1
- Seller
-
Newport Coast, California, United States
- Item Price
-
$54.25FREE shipping to USA
Show Details
Semantics With Applications: An Appetizer (Pb)
by Nielson H. R.
- New
- Condition
- New
- ISBN 10 / ISBN 13
- 9781846286919 / 1846286913
- Quantity Available
- 500
- Seller
-
New Delhi, Delhi, India
- Item Price
-
$83.88$14.99 shipping to USA
Show Details
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
by Nielson, Hanne Riis; Nielson, Flemming [Contributor]
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9781846286919 / 1846286913
- Quantity Available
- 1
- Seller
-
San Diego, California, United States
- Item Price
-
$92.64$5.95 shipping to USA