Product Type
Condition
Binding
Collectible Attributes
Free Shipping
Seller Location
Seller Rating
Published by Springer, 1990
ISBN 10: 354053010XISBN 13: 9783540530107
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Book
Condition: Good. *Price HAS BEEN REDUCED by 10% until Monday, June 10 (weekend sale item)* 401 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Published by Springer, 1990
ISBN 10: 354053010XISBN 13: 9783540530107
Seller: Irish Booksellers, Portland, ME, U.S.A.
Book
Condition: Good. SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. book.
Published by MIT Press, 1993
ISBN 10: 0262041405ISBN 13: 9780262041409
Seller: Books Puddle, New York, NY, U.S.A.
Book
Condition: Used. pp. 486.
Published by MIT Press, 1993
ISBN 10: 0262041405ISBN 13: 9780262041409
Seller: Majestic Books, Hounslow, United Kingdom
Book
Condition: Used. pp. 486 Illus.
Published by Mit Pr, 1993
ISBN 10: 0262041405ISBN 13: 9780262041409
Seller: Kloof Booksellers & Scientia Verlag, Amsterdam, Netherlands
Book
Condition: as new. Cambridge, Mass. : MIT Press, 1993. Hardcover. xxxi,454 pp. - Within the field of logic programming there have been numerous attempts to transform grammars into logic programs. This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field. The authors' approach facilitates discussion of grammatical aspects of, and introduces new kinds of semantics for, definite programs. They survey relevant grammatical formalisms and provide a comprehensive introduction to the well-known attribute grammars and van Wijngaarden grammars. A formal comparison of definite programs to these grammars allows the authors to identify interesting grammatical concepts. The book also includes a presentation of verification methods for definite programs derived from verification methods for attribute grammars, and an analysis of the occur-check problem as an example of how the grammatical view of logic programming can be applied. Condition : as new copy. ISBN 9780262041409. Keywords : COMPUTER STUDIES, Logic programming.
Published by Springer, 1989
ISBN 10: 3540508201ISBN 13: 9783540508205
Seller: booksXpress, Bayonne, NJ, U.S.A.
Book
Soft Cover. Condition: new.
Published by Springer, 1989
ISBN 10: 3540508201ISBN 13: 9783540508205
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Book
Paperback. Condition: Good. Ex-library paperback in good condition with the usual markings and attachments.
Published by Springer, Berlin, 1990
ISBN 10: 354053010XISBN 13: 9783540530107
Seller: NEPO UG, Rüsselsheim am Main, Germany
Book
Taschenbuch. Condition: Gut. 401 Seiten Sofort verfügbar / Versand spätestens am nächsten Arbeitstag / Rechnung mit ausgewiesener MwSt. liegt bei / daily shipping worldwide with invoice / ex library in good condition / aus Bibliothek in guten Zustand/ Sprache: Englisch Gewicht in Gramm: 550.
Published by Springer Berlin Heidelberg, 1990
ISBN 10: 354053010XISBN 13: 9783540530107
Seller: NEPO UG, Rüsselsheim am Main, Germany
Book
Taschenbuch. Condition: Gut. 401 Seiten ex Library Book / aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969.
Published by Springer, 1989
ISBN 10: 3540508201ISBN 13: 9783540508205
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Springer, 2000
ISBN 10: 3540411372ISBN 13: 9783540411376
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Springer, 1990
ISBN 10: 354053010XISBN 13: 9783540530107
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: New.
Published by Springer, 1990
ISBN 10: 354053010XISBN 13: 9783540530107
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 1989
ISBN 10: 3540508201ISBN 13: 9783540508205
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Book
Condition: New.
Published by Springer, 1990
ISBN 10: 354053010XISBN 13: 9783540530107
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by Springer, 1989
ISBN 10: 3540508201ISBN 13: 9783540508205
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer, 1990
ISBN 10: 354053010XISBN 13: 9783540530107
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Book Print on Demand
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer, 1990
ISBN 10: 354053010XISBN 13: 9783540530107
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by Springer, 2000
ISBN 10: 3540411372ISBN 13: 9783540411376
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by Springer, 1989
ISBN 10: 3540508201ISBN 13: 9783540508205
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: New.
Published by Springer, 2000
ISBN 10: 3540411372ISBN 13: 9783540411376
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Book
Condition: As New. Unread book in perfect condition.
Published by The MIT Press, 1993
ISBN 10: 0262514443ISBN 13: 9780262514446
Seller: Revaluation Books, Exeter, United Kingdom
Book
Paperback. Condition: Brand New. 486 pages. 8.80x6.00x1.20 inches. In Stock.
Published by Springer, 1990
ISBN 10: 354053010XISBN 13: 9783540530107
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: As New. Unread book in perfect condition.
Published by Springer, 2000
ISBN 10: 3540411372ISBN 13: 9783540411376
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Book
Condition: As New. Unread book in perfect condition.
Published by Springer, 1990
ISBN 10: 354053010XISBN 13: 9783540530107
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Book
Condition: New.
Published by Springer Berlin Heidelberg, 1989
ISBN 10: 3540508201ISBN 13: 9783540508205
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The aim of the workshop was to discuss whether research on implementation of programming languages and research on logic programming can mutually benefit from each others results. The intention was to bring together researchers from both fields, especially those working in the area of their intersection. Problems such as formal specification of compilers and syntax-based editors, program analysis and program optimization have been traditionally studied by implementors of algorithmic languages and have resulted in a number of well-established notions, formalisms and techniques. At the same time, an increasing number of people use logic programming as a way of specifying compilers or other programming environment tools, taking advantage of the relatively high level of logic programming and the growing efficiency of Prolog implementations. On the other hand, research on logic programming raises the questions of analysis of logic programs and their optimization. These are motivated primarily by compiler construction for logic programs, by studies on the methodology of logic programming and by the attempts to amalgamate logic programming and functional programming. The purpose of the workshop is to review the techniques developed in one (or both) of the fields which could also be of some help in the other one and to facilitate the transfer of expertise. It seems important to compare notions used in both fields: showing similarities between them may prevent rediscovering results already known, while studying differences may contribute to the transfer of technology.
Published by Springer Berlin Heidelberg, 1990
ISBN 10: 354053010XISBN 13: 9783540530107
Seller: AHA-BUCH GmbH, Einbeck, Germany
Book
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume consists of the papers accepted for presentation at the second international workshop on Programming Language Implementation and Logic Programming (PLILP '90) held in Linköping, Sweden, August 20-22, 1990. The aim of the workshop was to identify concepts and techniques used both in implementation of programming languages, regardless of the underlying programming paradigm, and in logic programming. The intention was to bring together researchers working in these fields. The volume includes 26 selected papers falling into two categories. Papers in the first category present certain ideas from the point of view of a particular class of programming languages, or even a particular language. The ideas presented seem to be applicable in other classes of languages. Papers in the second category directly address the problem of integration of various programming paradigms. The proceedings of the predecessor workshop PLILP '88, held in Orléans, France, May 16-18, 1988, are available as Lecture Notes in Computer Science, Vol. 348.
Published by Springer 1989-03, 1989
ISBN 10: 3540508201ISBN 13: 9783540508205
Seller: Chiron Media, Wallingford, United Kingdom
Book
PF. Condition: New.
Published by The MIT Press, 1993
ISBN 10: 0262041405ISBN 13: 9780262041409
Seller: dsmbooks, Liverpool, United Kingdom
Book
Hardcover. Condition: Like New. Like New. book.
Published by Springer Berlin Heidelberg, 1989
ISBN 10: 3540508201ISBN 13: 9783540508205
Seller: moluna, Greven, Germany
Book Print on Demand
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The aim of the workshop was to discuss whether research on implementation of programming languages and research on logic programming can mutually benefit from each others results. The intention was to bring together researchers from both fields, especially .