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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 6,92 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoEUR 2,00 gastos de envío desde Irlanda a España
Destinos, gastos y plazos de envíoLibrería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Paperback. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.05. Nº de ref. del artículo: G0937073067I4N00
Cantidad disponible: 1 disponibles
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Condición: New. Num Pages: 300 pages. BIC Classification: UY. Dimension: 230 x 154. Weight in Grams: 47. . 1986. Paperback. . . . . Nº de ref. del artículo: V9780937073063
Cantidad disponible: 15 disponibles
Librería: Stony Hill Books, Madison, WI, Estados Unidos de America
Soft cover. Condición: Very Good. 1st Edition. Trade softcover clean and unmarked, light cover rubbing, previous owner name. Nº de ref. del artículo: 028794
Cantidad disponible: 1 disponibles
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Condición: New. Num Pages: 300 pages. BIC Classification: UY. Dimension: 230 x 154. Weight in Grams: 47. . 1986. Paperback. . . . . Books ship from the US and Ireland. Nº de ref. del artículo: V9780937073063
Cantidad disponible: 15 disponibles
Librería: INDOO, Avenel, NJ, Estados Unidos de America
Condición: New. Brand New. Nº de ref. del artículo: 9780937073063
Cantidad disponible: Más de 20 disponibles