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

By: Edited by Andrew D. Gordon, Andrew M. Pitts

Price: £36.99

Quantity: 1 available

Book Condition: Used - Good

More Description

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.

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

Author Name: Edited by Andrew D. Gordon, Andrew M. Pitts

Categories: Other,

Edition: 1st Edition

Publisher: Cambridge University Press: 1998-02-13 00:00:00.000

ISBN Number: 0521631688

ISBN Number 13: 9780521631686

Binding: Hardcover

Book Condition: Used - Good

Seller ID: Z1-F-038-01495

Description: Ships from UK in 48 hours or less (usually same day). Your purchase helps support the African Children's Educational Trust (A-CET). Ex-library, so some stamps and wear, but in good overall condition. 100% money back guarantee. We are a world class secondhand bookstore based in Hertfordshire, United Kingdom and specialize in high quality textbooks across an enormous variety of subjects. We aim to provide a vast range of textbooks, rare and collectible books at a great price. Through our work with A-CET we have helped give hundreds of young people in Africa the vital chance to get an education. We provide a 100% money back guarantee and are dedicated to providing our customers with the highest standards of service in the bookselling industry.