Your Waterstones card is changing, introducing...
TELL ME MORE
The Semantics of Destructive Lisp - Center for the Study of Language & Information - Lecture Notes 5 (Hardback)
  • The Semantics of Destructive Lisp - Center for the Study of Language & Information - Lecture Notes 5 (Hardback)
zoom

The Semantics of Destructive Lisp - Center for the Study of Language & Information - Lecture Notes 5 (Hardback)

(author)
£37.50
Hardback 287 Pages / Published: 30/06/1986
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: The University of Chicago Press
ISBN: 9780937073056
Number of pages: 287
Weight: 638 g
Dimensions: 228 x 152 x 25 mm
Edition: 74th ed.

You may also be interested in...

Thoughtful Machine Learning
Added to basket
Programming Computer Vision with Python
Added to basket
Understanding Machine Learning
Added to basket
Superintelligence
Added to basket
£18.99
Hardback
Machine Learning for Hackers
Added to basket
Emotion: A Very Short Introduction
Added to basket
Reinforcement Learning
Added to basket
Bayesian Reasoning and Machine Learning
Added to basket
The Quest for Artificial Intelligence
Added to basket
Programming Game AI By Example
Added to basket
The Elements of Statistical Learning
Added to basket
Understanding Beliefs
Added to basket
Introducing Artificial Intelligence
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.