|
|
|||
|
||||
OverviewWhile 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. Full Product DetailsAuthor: Ian A. MasonPublisher: Centre for the Study of Language & Information Imprint: Centre for the Study of Language & Information Volume: 5 Dimensions: Width: 15.20cm , Height: 2.00cm , Length: 22.80cm Weight: 0.470kg ISBN: 9780937073063ISBN 10: 0937073067 Pages: 294 Publication Date: 30 April 1987 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Out of stock The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available. Table of Contents1. Introduction; 2. The basic theory of memory structures; 3. Equivalence relations; 4. A plethora of simple examples; 5. The effectiveness theorems; 6. Fragments of lisp; 7. Derivations and transformations; 8. The Robson marking algorithm and applications; 9. Programs as data and the eval function; 10. Editing data efficiently; 11. Conclusions; Bibliography.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |