| New Releases | | • | Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations | | • | Finding Out About: A Cognitive Perspective on Search Engine Technology and the WWW | | • | Computational Forensics: Second International Workshop, IWCF 2008, Washington, DC, USA, August 7-8, 2008, Proceedings (Lecture Notes in Computer Science) | | • | Machine Translation: Its Scope and Limits | | • | Machine Learning for Multimodal Interaction: 5th International Workshop, MLMI 2008, Utrecht, The Netherlands, September 8-10, 2008, Proceedings (Lecture Notes in Computer Science) |
|
|
|
| The Semantics of Destructive LISP (Center for the Study of Language and Information - Lecture Notes) |  | Author: Ian A. Mason
Publisher: Center for the Study of Language and Inf
Category: Book
Buy New: $25.00
New (1) Used (4) from $10.00
Sales Rank: 3103865
Media: Paperback
Edition: 1
Number Of Items: 1
Pages: 300
Shipping Weight (lbs): 1.1
Dimensions (in): 8.9 x 6 x 0.8
ISBN: 0937073067
Dewey Decimal Number: 005.133
EAN: 9780937073063
ASIN: 0937073067
Publication Date: June 1, 1986
Availability: Usually ships in 2 to 3 weeks
|
| Editorial Reviews:
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.
|
|
|
Copyright 2008 - RailroadBookstore.com
| |
