The Semantics of Destructive LISP

Volume 5

By: Ian A. Mason

Write A Review

Paperback | 30 April 1987 | Edition Number 1

At a Glance

Paperback
300 Pages

Dimensions(cm)
23.0 x 15.4 x 2.0

Paperback

$76.75

or 4 interest-free payments of $19.19 with

Ships in 10 to 15 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Functional Programming Software Engineering Programming & Scripting Languages Computer Science Artificial Intelligence Natural Language & Machine Translation Language & Linguistics Linguistics Reference, Dictionaries & Guides

Introduction
The basic theory of memory structures
Equivalence relations
A plethora of simple examples
The effectiveness theorems
Fragments of lisp
Derivations and transformations
The Robson marking algorithm and applications
Programs as data and the eval function
Editing data efficiently
Conclusions
Bibliography
Table of Contents provided by Publisher. All Rights Reserved.

The Semantics of Destructive LISP

Volume 5

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Reference, Dictionaries & Guides

Build Your House Of Joy

48 cards for everyday creativity, based on Holly Ringland's bestselling book The House That Joy Built

The Story Writer's Handbook

Adventures in Creative Writing

Algospeak

How Social Media is Transforming the Future of Language

A Christmas Carol

The Festive Classic

The Communicator's Guide to Media Law and Ethics

A Handbook for Australian Professionals

The Elements of Style

4th Edition

Publication Manual of the American Psychological Association

7th edition ( APA 7 )

Colourful Semantics

A Resource for Developing Childrenâs Spoken and Written Language Skills

Tina

The Dog Who Changed the World

Kodansha's Furigana Japanese Dictionary

Kodansha Dictionaries

You Need To Exist

A Book to Love and Destroy!

Oxford Children's Dictionary

UK bestselling dictionaries

The Artist's Way

A Spiritual Path to Higher Creativity

Bird by Bird

Instructions on Writing and Life

The Dictionary of Obscure Sorrows

The Writing Rope

A Framework for Explicit Writing Instruction in All Subjects

The House That Joy Built

The beautiful & inspiring new book about creativity & overcoming our fears from the bestselling author of The Lost Flower

Australian Student's Oxford Dictionary

5th edition

How to Read a Book

A Touchstone book

A Poetry Handbook

A Prose Guide to Understanding and Writing Poetry

How to Write Psychology Reports and Assignments

10th Edition

Oxford Chinese Dictionary

Bilingual dictionaries

Easy Spanish Step-By-Step

Master High-frequency Grammar for Spanish Proficiency - Fast!

Australian Concise Oxford Dictionary

6th Edition

This product is categorised by