Higher Order Operational Techniques in Semantics

Name: Higher Order Operational Techniques in Semantics
SKU: 2160724
Price: 260.99 AUD
Availability: InStock

Format:

Hardback

Series:

Publications of the Newton Institute

Show Hide Adult Content

$260.99

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

4 payments of $65.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 24 Jul - 5 Aug using International Courier

Description

Most object-oriented or functional languages are higher order languages, i.e. ones in which the means of manipulation (e.g. object or function) can itself be manipulated. This book 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 reflected by 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 labelling 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.

Author Biography:

Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.

Release date Australia

January 22nd, 1998

Audience

Professional & Vocational

Contributors

Edited by Andrew D. Gordon
Edited by Andrew M. Pitts

Pages

400

Series

Publications of the Newton Institute

Dimensions

157x236x25

ISBN-13

9780521631686

Product ID

2160724

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Get free delivery, exclusive deals, and more^*

Computers & Internet Books:

Higher Order Operational Techniques in Semantics

Format:

Series:

Buy Now, Pay Later with:

Availability

Description

Author Biography:

Customer reviews

Marketplace listings

Help & options

Filed under...

Get free delivery, exclusive deals, and more*

Buy Now, Pay Later with:

Author Biography:

Get free delivery, exclusive deals, and more^*