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.

Contenuti

1. 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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Primarily an out-of-print book store, ethnographic art and oriental rug gallery. We specialize in Antiquarian Old and Rare, Americana, Art books and general stock foreign language books--approximately 10000 titles. Please visit my web site at http://www.stony-hill-madison.com/ PLEASE NOTE: I am open 12-4 CST, Friday, Saturday and Sunday. Since my computer is at the store, I normally receive e-mail only during those hours. Please be patient. ADDITIONAL NOTE: we cannot assume liability for international shipments once they have left the shores of the United States. NO refunds will be made for non-receipt of books mailed internationally.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Stony Hill Books
WI, U.S.A.

Condizioni di vendita e spedizione

Condizioni di vendita

Shipping charged depends on weight and destination: UPS or Book rate or Priority
mail, as specified. Shipping by USPS Media Mail unless otherwise specified.
PLEASE NOTE store hours 11am to 5pm Central Time Zone. THANKS!!
ADDITIONAL NOTE: we cannot assume liability for international shipments once they have left the shores of the United States. NO refunds will be made for non-receipt of books mailed internationally.

Diritto di recesso

Condizioni di spedizione

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.
ADDITIONAL NOTE: we cannot assume liability for international shipments once they have left the shores of the United States. NO refunds will be made for non-receipt of books mailed internationally.

Tariffe di spedizione da U.S.A. a Italia

Tariffe di spedizione da U.S.A. a Italia
Quantit� dell?ordine	Da 21 a 36 giorni lavorativi	Da 5 a 8 giorni lavorativi
Primo articolo	EUR 29.82	EUR 38.35

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.