Tracked shipping to South Africa with premium packaging for just R199 

Ship to
South Africa
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Higher Order Operational Techniques in Semantics Hardback (Publications of the Newton Institute)
Type
Physical Book
Publisher
Author
Year
1998
Language
English
Pages
400
Format
Hardcover
ISBN
0521631688
ISBN13
9780521631686
Edition No.
1
Categories

Higher Order Operational Techniques in Semantics Hardback (Publications of the Newton Institute)

Gordon; Pitts (Author) · Cambridge University Press · Hardcover

Higher Order Operational Techniques in Semantics Hardback (Publications of the Newton Institute) - Gordon; Pitts

Cheaper New Book Imported to South Africa
Delivery: 19 Oct - 27 Oct Shipping: 11 to 12 business days.
R 2,388
Faster New Book Imported to South Africa
Delivery: 09 Oct - 19 Oct Shipping: 5 to 6 business days.
R 2,526
R 2,388

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Higher Order Operational Techniques in Semantics Hardback (Publications of the Newton Institute) "

Most object-oriented or functional languages are higher order languages, ones in which the means of manipulation can itself be manipulated. This important reference contains a collection of original articles about recent developments in operational semantics for higher order programming languages by some of the leading researchers in the field. Operational techniques are important because they are closer to implementations and language definitions than more abstract mathematical techniques such as denotational semantics. One of the exciting developments recounted in the book is that mathematical structures and techniques used in denotational semantics (such as fixpoint induction) may be recovered from a purely operational starting point. The book surveys and introduces techniques such as contextual equivalence, applicative bisimulation, logical relations, improvement relations, explicit models of memory management, and labeling techniques for confluence properties. It treats a variety of higher order languages, based on functions, processes and objects, with and without side effects, typed and untyped. Researchers and graduate students will find this book valuable reading.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Hardcover.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews