Ex-library. Acceptable - This is a significantly damaged book. It should be considered a reading copy only. Please order this book only if you are interested in the content and not the condition. May be ex-library. Standard-sized.

N� de r�f. du vendeur M026215028XZ4

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre: Equational Logic as a Programming Language (Foundations of Computing)
�diteur: The MIT Press
Date de parution: 1985
Langue: anglais
ISBN � 10 chiffres: 026215028X
ISBN � 13 chiffres: 9780262150286
Reliure: Hardcover
�tat de l'article: Acceptable

A propos de ce titre

Synopsis

This book provides a comprehensive description of the theoretical foundations, design, and implementation of an innovative logic programming language in which computations are produced directly from equational definitions. Like LISP and Prolog, the equational programming language is based on the concept that a programmer should give a mathematical description of the result of a computation rather than a series of commands to direct a computation. Unlike LISP and Prolog, however, the equational programming language strictly follows the rules of equational logic, providing powerful programming techniques not available in conventional languages. Equational Logic as a Programming Language covers the entire spectrum of theoretical and applied work involved in eight years of designing and implementing the equational logic programming language. Separate chapters cover the intuitive logical semantics of the language, the powerful programming techniques supported by it and their connections to procedural techniques such as coroutines, the methods used to produce a highly flexible implementation of the language with very little manpower, and the potential for implementation on parallel computers.

Equational Logic as a Programming Language is included in the Foundations of Computing Series, edited by Michael Garey.

� propos de l?auteur

Michael J. O'Donnell is Associate Professor of Computer Science at The Johns Hopkins University, on leave from Purdue University.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

We are PENNSYLVANIA'S LARGEST USED BOOKSTORE specializing in second-hand and out- of-print scholarly books in all fields! We offer the finest selection of art books between New York and Chicago. We invite you to email us with any questions or concerns about any of our books. We are always interested in buying academic libraries and are willing to travel to collect your books!!

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

The Midtown Scholar Bookstore, Inc.
3401 North Sixth Street, Harrisburg, PA, 17110, U.S.A.

Conditions de vente et de livraison

Conditions g�n�rales de vente

We guarantee the condition of every book as it is described on the Abebooks website. If you are dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order has not arrived, you may be eligible for a refund within 30 days of the estimated delivery date. If you have changed your mind about a book that you have ordered, please use the Ask bookseller a question link to contact us and our customer service team will typically respond within 2 business days.

Conditions d'exp�dition

* * * All books are packed with great care! * * * DOMESTIC SHIPPING OPTIONS for standard-sized books: USPS PRIORITY MAIL (takes business 3-7 days to arrive in the continental U.S.) - $9.00 for the 1st book and $6.00 for a 2nd book. ... BOOK RATE SHIPPING ("media mail", takes 1-4 weeks to arrive in the continental U.S.; please note that media mail delivery to Alaska, Hawaii, Puerto Rico, APO/FPO addresses, and US territories can take 6-8 weeks) - $6.00 for the 1st book and $3.00 for each additional book. MEDIA MAIL BOOKS ARE TYPICALLY SEALED IN A HIGH-QUALITY PLASTIC BAG AND THEN PACKAGED IN A STRONG CARDBOARD BOX. Some extremely small, very light items receive a First-Class upgrade and may ship in a First-Class bubblewrap-lined mailer. ... AIRMAIL SHIPPING TO CANADA: Price varies based on rate. Please contact us for details. Oversized or heavy items may require additional postage.... OTHER INTERNATIONAL AIRMAIL SHIPPING: Shipping by DHL service whenever possible with typical delivery in 5-14 business days. Oversized or heavy items may require additional postage.... If your book is HEAVY or OVERSIZED, we will contact you to let you know extra shipping is required.