Get the Best Gifts for Dad in Time With Store Pick-Up Shop Father's Day

Algol-like Languages / Edition 1

Add to Wishlist

ISBN-10:: 0817638806
ISBN-13:: 9780817638801
Pub. Date:: 12/01/1996
Publisher:: Birkhäuser Boston

ISBN-10:: 0817638806
ISBN-13:: 9780817638801
Pub. Date:: 12/01/1996
Publisher:: Birkhäuser Boston

Algol-like Languages / Edition 1

Hardcover

View All Available Formats & Editions

$109.99

SHIP THIS ITEM
Qualifies for Free Shipping
PICK UP IN STORE
Check Availability at Nearby Stores

Available within 2 business hours

Overview

Volume 2 consists of more specialized and more technically demanding material; this volume will be suitable for advanced seminars and researchers with adequate background in logic, semantics, type theory and category theory.

Product Details
Table of Contents

Product Details

ISBN-13:	9780817638801
Publisher:	Birkhäuser Boston
Publication date:	12/01/1996
Series:	Progress in Theoretical Computer Science
Edition description:	1996
Pages:	288
Product dimensions:	6.14(w) x 9.21(h) x 0.36(d)

11 Functor Categories and Store Shapes.- 12 Using Functor Categories to Generate Intermediate Code.- 13 Semantical Analysis of Specification Logic.- 14 Semantical Analysis of Specification Logic, 2.- 15 Full Abstraction for the Second-Order Subset.- 16 Parametricity and Local Variables.- 17 Operationally-Based Reasoning About Local Variables.- 18 Syntactic Control of Interference Revisited.- 19 Global State Considered Unnecessary.- 20 Linearity, Sharing and State.- 21 The Essence of Parallel Algol.- of Volume 1.

From the B&N Reads Blog

Page 1 of

Overview

Product Details

Table of Contents

Related Subjects

Customer Reviews