The Semantics of Destructive LISP (Lecture Notes)
The Semantics of Destructive LISP (Lecture Notes) by Unknown at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. 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
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.
|Manufacturer:||Center for the Study of Language and Inf|
|Publisher:||Center for the Study of Language and Inf|
|Studio:||Center for the Study of Language and Inf|
|Item Weight:||1.41 pounds|
|Item Size:||1.1 x 9 x 9 inches|
|Package Weight:||1.45 pounds|
|Package Size:||6.2 x 1.1 x 1.1 inches|
Have questions about this item, or would like to inquire about a custom or bulk order?
If you have any questions about this product by Unknown, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.
Related Best Sellers
ean: 9781430211617, isbn: 143021161X,
* Treats LISP as a language for commercial applications, not a language for academic AI concerns. This could be considered to be a secondary text for the Lisp course that most schools teach . This would appeal to students who sat through a LISP cours...
ean: 9780471503088, isbn: 0471503088,
A self-contained, intermediate-level introduction to the structure and syntax of Common Lisp, this text is the first based on the draft ANSI standard for Common Lisp. Presents the concepts of object-oriented programming and incorporates the Common Li...
mpn: black & white illustrations, ean: 9788866060994, isbn: 8866060992,
This is a high-quality, hardbound edition of the official GNU Emacs Lisp Reference Manual, from the current Emacs Version 24.5 distribution. It is printed on acid free and lignin free paper, that meets all ANSI standards for archival quality paper. *...
By Brand: Sams Publishing
ean: 9780672315374, isbn: 0672315378,
This book is a comprehensive guide to Java distributed computing. It assumes the reader is an experienced Java programming, but has little experience with network programming and distributed objects. This book covers networking, distributed computing...
By Addison-Wesley Professional
ean: 9780321927736, isbn: 0321927737,
Developers are discovering the immense power of Clojure's functional programming model to quickly solve problems in domains ranging from social networking to Big Data. Targeting the Java Virtual Machine, Clojure also leverages the Java platform's mat...
By Free Software Foundation
ean: 9781882114436, isbn: 1882114434,
Emacs Lisp is a simple, complete, and powerful programming language. It is the building block of GNU Emacs, which is an integrated development environment with special features for scanning and parsing text as well as for handling multiple files and ...
By Scientific Pr
ean: 9780894261152, isbn: 0894261150,
"With this book you can learn to write good programs that do interesting things right off the bat," writes software developer Julie Sussman. "This is the introductory [programming] text that I wish I had had" Scheme - a simple, learnable dialect of ...
By Packt Publishing - ebooks Account
ean: 9781785281501, isbn: 178528150X,
Key FeaturesWrite apps for the multithreaded world with Clojure's flavor of functional programmingDiscover Clojure's features and advantages and use them in your existing projectsThe book is designed so that you'll be able put to use your existing sk...
By Brand: Focal Press
ean: 9780879305185, isbn: 0879305185,
Create enhanced AutoCAD edit tools customized to your needs Program engineering and design intelligence into AutoCAD using automated drawing routines Improve productivity with tools for managment of operations Discover programming utilities that can ...
By Pragmatic Bookshelf
mpn: black & white illustrations, ean: 9781937785642, isbn: 1937785645,
If the usual patchwork of web development tools and languages just isn't cutting it for you, you need Web Development With Clojure. Clojure gives you the rich infrastructure of the JVM with the expressive power of a modern functional language. It com...