Skip to content

Semantics with Applications: An Appetizer
Stock Photo: Cover May Be Different

Semantics with Applications: An Appetizer Paperback - 2007

by Hanne Riis Nielson; Flemming Nielson

From the publisher

This book examines the important role semantics will have in the future development of software systems and domain specific languages. It 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. Coverage investigates the relationship between the various methods and describes some of the main ideas used. It illustrates these via historically important application areas 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, and verifying useful program properties including information about execution time.

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)
Stock Photo: Cover May Be Different

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
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$14.78
FREE shipping to USA

Show Details

Description:
Springer London. 2007. Good. Good. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported
Item Price
$14.78
FREE shipping to USA
Semantics with Applications
Stock Photo: Cover May Be Different

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$24.21
$3.99 shipping to USA

Show Details

Description:
Springer , pp. 288 . Papeback. New.
Item Price
$24.21
$3.99 shipping to USA
Customers who searched for ISBN 9781846286919 might also be interested in this item:
International Edition
Intl. Ed.

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$26.70
$2.00 shipping to USA

Show Details

Description:
USA Edition . Brand New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-12 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Item Price
$26.70
$2.00 shipping to USA
Semantics with Applications: An Appetizer

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$40.53
$10.75 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; <P>Semantics will play an important role in the future development of software systems and domain-specific languages. This book provides a needed introductory presentation of the fundamental ideas behind these
Item Price
$40.53
$10.75 shipping to USA
SEMANTICS WITH APPLICATIONS: AN APPETIZER
Stock Photo: Cover May Be Different

SEMANTICS WITH APPLICATIONS: AN APPETIZER

by RIIS NIELSON

  • New
Condition
New
ISBN 10 / ISBN 13
9781846286919 / 1846286913
Quantity Available
1
Seller
New Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$30.54
$5.00 shipping to USA

Show Details

Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Item Price
$30.54
$5.00 shipping to USA
Semantics With Applications: An Appetizer (Pb)
Stock Photo: Cover May Be Different

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
Seller rating:
This seller has earned a 3 of 5 Stars rating from Biblio customers.
Item Price
$33.11
$12.65 shipping to USA

Show Details

Description:
Like New.
Item Price
$33.11
$12.65 shipping to USA
Semantics with Applications: An Appetizer
Stock Photo: Cover May Be Different

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$51.05
$13.39 shipping to USA

Show Details

Description:
Paperback / softback. New. 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 formulating and proving the relevant theorems, and illustrates the applications of semantics in computer science.
Item Price
$51.05
$13.39 shipping to USA
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
Stock Photo: Cover May Be Different

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
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$54.25
FREE shipping to USA

Show Details

Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Item Price
$54.25
FREE shipping to USA
Semantics With Applications: An Appetizer (Pb)
Stock Photo: Cover May Be Different

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$83.88
$14.99 shipping to USA

Show Details

Description:
Sp Springer, 2007. New.
Item Price
$83.88
$14.99 shipping to USA
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
Stock Photo: Cover May Be Different

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$92.64
$5.95 shipping to USA

Show Details

Description:
Springer London, 2007-03-28. Paperback. New. New. In shrink wrap. Looks like an interesting title!
Item Price
$92.64
$5.95 shipping to USA