Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
  Our Catalog   Languages & Tools   Lisp

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


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.

Additional Information

Manufacturer:Center for the Study of Language and Inf
Brand:Unknown
Publisher:Center for the Study of Language and Inf
Studio:Center for the Study of Language and Inf
EAN:9780937073056
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

The Semantics of Destructive LISP (Lecture Notes) by Unknown

Buy Now:
The Semantics of Destructive LISP (Lecture Notes)

Brand: Unknown
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$61.00


Quantity:  

 


View More In Lisp.

 


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.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


By Apress
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...

By Wiley
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...

By Ingramcontent
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...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.