Power Search
Low Price Guarantee
We Take School POs
The Semantics of Destructive LISP: Volume 5
Contributor(s): Mason, Ian A. (Author)

View larger image

 ISBN: 0937073059     ISBN-13: 9780937073056
Publisher: Center for the Study of Language and Informat
OUR PRICE: $52.50  

Binding Type: Hardcover
Published: June 1986
Qty:
Temporarily out of stock - Will ship within 2 to 5 weeks

Click for more in this series: Lecture Notes
Additional Information
BISAC Categories:
- Computers | Programming Languages - General
- Computers | Software Development & Engineering - General
- Computers | Natural Language Processing
Dewey: 005.133
LCCN: 86072170
Series: Lecture Notes
Physical Information: 300 pages
Features: Bibliography
 
Descriptions, Reviews, Etc.
Publisher 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.
 
Customer ReviewsSubmit your own review
 
To tell a friend about this book, you must Sign In First!