 |
|
|
Item Details
| Title:
|
THE SEMANTICS OF DESTRUCTIVE LISP
|
| By: |
Ian Mason |
| Format: |
Hardback |
| List price:
|
£40.00 |
|
We believe that this item is permanently unavailable, and so we cannot source
it.
|
|
|
|
|
|
| ISBN 10: |
0937073059 |
| ISBN 13: |
9780937073056 |
| Publisher: |
THE UNIVERSITY OF CHICAGO PRESS |
| Pub. date: |
30 June, 1986 |
| Edition: |
74th |
| Series: |
Center for the Study of Language & Information - Lecture Notes 5 |
| Pages: |
287 |
| Synopsis: |
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. |
| Publication: |
US |
| Imprint: |
University of Chicago Press |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
No Cheese, Please!
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
|
My Brother Is a Superhero
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
|
|
|
|
|