Join Amazon Prime and get unlimited Free One-Day Delivery. Already a member? Sign in.

Quantity:

More Buying Choices

4 used & new from �12.77

Have one to sell? Sell yours here

Publisher: learn how customers can search inside this book.

The Semantics of Destructive Lisp (Center for the Study of Language and Information Publication Lecture Notes) (Paperback)

by Ian A. Mason (Author)

No customer reviews yet. Be the first.

Price:	�17.50 & this item Delivered FREE in the UK with Super Saver Delivery. See details and conditions
	o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o

Temporarily out of stock.
Order now and we'll deliver when available. We'll e-mail you with an estimated delivery date as soon as we have more information. Your account will only be charged when we ship the item.
Dispatched from and sold by Amazon.co.uk. Gift-wrap available.

3 used from �12.77

Other Editions:	RRP:	Our Price:	Other Offers:
Hardcover	�23.95	�23.95	Order it used
Paperback	�12.75	�12.75	Order it used

Product details

Paperback: 300 pages
Publisher: Cambridge University Press (30 April 1987)
Language English
ISBN-10: 0937073067
ISBN-13: 978-0937073063
Product Dimensions: 22.6 x 15.2 x 2 cm
Average Customer Review: No customer reviews yet. Be the first.
Amazon.co.uk Sales Rank: 2,385,973 in Books (See Bestsellers in Books)
Popular in this category:
#39 in Books > Computing & Internet > Programming > Languages > Lisp

Would you like to update product info or give feedback on images?

See Complete Table of Contents

Product Description

Product Description
While the semantics of ‘pure’ lisp is well understood, the same cannot be said for the lisp that people actually use, due to the presence of so-called ‘destructive operations’ in programs, operations like RPLACA and RPLACD that destructively manipulate data. Such destructive operations have caused considerable difficulty in bridging the gap between theory program verification, and program transformation. In this book, Ian A. Mason aims at squaring theory with practice by first developing a theory that respects practice and then improving practice within this theory. Mason’s theory is based on a new notion of memory structure that is adequate to model such destructive operations. Within this framework, he investigates various equivalence relations between expressions in first order lisp. This fragment of lisp includes the destructive operations of RPLACA and RPLACD. Mason then defines some important equivalence relations in lisp programs within this model theoretic framework. Throughout the work, Mason makes a distinction between intensional relations and extensional relations.

Tag this product

(What's this?)

Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items.

Customer Reviews

There are no customer reviews yet. Create your own review

Video reviews

New feature! Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.

.jsOffDisplayBlock { display: block; } .jsOffDisplayInline { display: inline; } .jsOffVisibility { visibility: visible; } .jsOnDisplayBlock { display: none; } .jsOnDisplayNoneBlock { display: block; } .jsOnDisplayNoneInline { display: inline; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; } .jsOnDisplayBlock { display: none; } .jsOnDisplayInline { display: none; } .jsOnVisibility { visibility: hidden; }

Customer Discussions

Beta (What's this?)

This product's forum (0 discussions)

	Discussion	Replies	Latest Post
	No discussions yet

Ask questions, Share opinions, Gain insight

Start a new discussion

Topic:

First post:

Prompts for sign-in

[Cancel]

Guidelines

Look for similar items by category

Books > Computing & Internet > Computer Science > Artificial Intelligence > Natural Language
Books > Computing & Internet > Programming > Languages & Tools
Books > Computing & Internet > Programming > Languages > Lisp
Books > Computing & Internet > Programming > Software Design, Testing & Engineering

Feedback

Would you like to update product info or give feedback on images?
I am the Author, and I want to comment on my book.
I am the Publisher, and I want to comment on this book.

Fun for Everyone

Achieve over 15,000 RPM with our great range of Powerballs.

›Shop the Powerball store

Beauty without the Beast

Olay Regenerist Daily 3 Point Treatment Cream

From au naturel to party glam, we have all the best names in cosmetics and skincare.

›Discover Beauty at Amazon.co.uk

Up to 50% off Dental Care

Put a sparkle in your smile with up to 50% off selected Oral-B and Philips rechargeable toothbrushes.

›Up to 50% off power toothbrushes

Treat Someone

With an Amazon.co.uk Gift Certificate, you can get them what they want (even if you don't know what that is).

›Learn more about Gift Certificates

Where's My Stuff?

track your recent orders
view or change your orders in Your Account

Delivery and Returns

see our delivery rates and policies
thinking of returning an item? (See our Returns Policy)

Need Help?

Forgot your password?
Buy Gift Certificates.
still have questions? Visit our Help Pages

Your Recent History

(What's this?)

You have no recently viewed items or searches.

After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in.

Look to the right column to find helpful suggestions for your shopping session.

Continue Shopping: Top Sellers

The Girl Who Played with Fire by Stieg Larsson

4.5 out of 5 stars (77)�3.86

Breaking Dawn (Twilight Saga) by Stephenie Meyer

4.1 out of 5 stars (471)�6.49

The Girl with the Dragon Tattoo by Stieg Larsson

4.1 out of 5 stars (174)�3.99

New Moon (Twilight Saga) by Stephenie Meyer

4.2 out of 5 stars (229)�3.49


Amazon Home

International Sites: United States \| Germany \| France \| Japan \| Canada \| China

Business Programs: Sell on Amazon \| Fulfilment by Amazon \| Join Associates \| Join Advantage

Customer Service \| Help \| View Basket \| Your Account

About Amazon.co.uk \| Careers at Amazon


Amazon Home

International Sites: United States \| Germany \| France \| Japan \| Canada \| China

Business Programs: Sell on Amazon \| Fulfilment by Amazon \| Join Associates \| Join Advantage

Customer Service \| Help \| View Basket \| Your Account

About Amazon.co.uk \| Careers at Amazon