Higher Order Operational Techniques in Semantics Book

Name: Higher Order Operational Techniques in Semantics, Most object-ori
Brand: University Press
SKU: 9780521631686
Price: 153.60 USD
Availability: InStock
Rating: 3.5 (2 reviews)

2 Ratings

Higher Order Operational Techniques in Semantics, 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 semant, Higher Order Operational Techniques in Semantics

3.5 out of 5 stars based on 2 reviews

Higher Order Operational Techniques in Semantics
Written by author Andrew D. Gordon
Published by Cambridge University Press, January 1998
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 semant
A collection of original articles by leading researchers in area of programming languages.

Buy Digital USD$153.60

Book Categories

Authors

List of contributors
Preface
Introduction 1
Operational equivalences for untyped and polymorphic object calculi 9
Semantics for core Concurrent ML using computation types 55
Relational reasoning about contexts 91
Labelling techniques and typed fixed-point operators 137
Semantics of memory management for polymorphic languages 175
Operational reasoning for functions with local state 227
Improvement theory and its applications 275
The coverage of operational semantics 307
Reasoning about functions with effects 347

Title: Higher Order Operational Techniques in Semantics

Manufacturer:

University Press

Item Number: 9780521631686

Publication Date: January 1998

Number: 1

Product Description: Higher Order Operational Techniques in Semantics

Universal Product Code (UPC): 9780521631686

WonderClub Stock Keeping Unit (WSKU): 9780521631686

Rating: 3.5/5 based on 2 Reviews

Image Location: https://wonderclub.com/images/covers/16/86/9780521631686.jpg

Category: Media >> Books

Weight: 0.200 kg (0.44 lbs)

Width: 5.980 cm (2.35 inches)

Heigh : 8.980 cm (3.54 inches)

Depth: 0.980 cm (0.39 inches)

Date Added: August 25, 2020, Added By: Ross

Date Last Edited: August 25, 2020, Edited By: Ross

Price	Condition	Delivery	Seller	Action
$153.60	Digital	Arrives between May 12 - Jun 11 Login to your account for a direct download. Some files are emailed from Dropbox. Continent $0.00 - World $0.00	WonderClub (9296 total ratings)

Question Concerning Higher Order Operational Techniques in Semantics

Ask a Question about Higher Order Operational Techniques in Semantics

No Question found!

Read Reviews for Higher Order Operational Techniques in Semantics Write review

Jason Mangawan

reviewed Higher Order Operational Techniques in Semantics on November 16, 2016

Higher Order Operational Techniques in Semantics

Good

You must be logged in to add to Wishlist

This item is in your Wish List

This item is in your Collection

This Item is in Your Inventory

You must be logged in to review the products

Higher Order Operational Techniques in Semantics, 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 semant, Higher Order Operational Techniques in Semantics

Add Higher Order Operational Techniques in Semantics, 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 semant, Higher Order Operational Techniques in Semantics to the inventory that you are selling on WonderClub

Add Higher Order Operational Techniques in Semantics, 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 semant, Higher Order Operational Techniques in Semantics to your collection on WonderClub

Higher Order Operational Techniques in Semantics Book

Book Categories

Authors

University Press

Question Concerning Higher Order Operational Techniques in Semantics

Read Reviews for Higher Order Operational Techniques in Semantics Write review

Login

Complaints

Blog

Games

Digital Media

Souls

Obituary

Contact Us

FAQ

You must be logged in to add to Wishlist

This item is in your Wish List

This item is in your Collection

This Item is in Your Inventory

You must be logged in to review the products

	List of contributors
	Preface
	Introduction	1
	Operational equivalences for untyped and polymorphic object calculi	9
	Semantics for core Concurrent ML using computation types	55
	Relational reasoning about contexts	91
	Labelling techniques and typed fixed-point operators	137
	Semantics of memory management for polymorphic languages	175
	Operational reasoning for functions with local state	227
	Improvement theory and its applications	275
	The coverage of operational semantics	307
	Reasoning about functions with effects	347