Pierre Deransart (95 results)

Condition: Good. *Prive HAS BEEN REDUCED by 10% until Monday, Oct. 20 (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.

Trade Paperback. Condition: Very Good. A Very Good copy with minor wear and creasing.

Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations.

Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations.

Paperback. Condition: Good. We are unable to ship to Canada at this time.Ex-library paperback in good condition with the usual markings and attachments.

Paperback. Condition: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.

Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Salissures sur la tranche. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Stains on the edge. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations.

Condition: New.

Paperback. Condition: new. Paperback. Attribute Grammars have turned into one of the most fundamental formalisms of modern Computer Science. Since 1968 when Knuth introduced the basic concepts, they have been the subject of a very large amount of literature, proving the importance of the area and the broad range of its applications. The aim of the book is to put at the disposal of researchers and students, but also of engineers interested in applications, the most important definitions and results known to date in this youthful domain. This seemed best achieved by a survey including three parts: 1) A state-of-the-art review of the main results and of the most promising research directions: this part aims at being both an aid for the reader in understanding the bibliography, by presenting the results using a unified vocabulary together with numerous pointers to the literature, and also an incitement to go into further results and research areas. 2) A presentation of most of the systems dealing with Attribute Grammars: the main interest in this part lays in the presentation of the implementation choices and of the applications.This part is the "practical" side of the book, emphasizing the point of view of "design" which can outline the differences between a theoretical idea and the way it can be implemented. 3) A bibliography including about 600 titles on the domain, together with a thematic index enabling readers to find their way easily in accordance with their own points of intereSt. Attribute Grammars have turned into one of the most fundamental formalisms of modern Computer Science. Since 1968 when Knuth introduced the basic concepts, they have been the subject of a very large amount of literature. The book intends to put at the disposal of researchers and students the most important definitions and results in this domain. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Condition: New.

Condition: New.

Condition: New.

Paperback. Condition: new. Paperback. This book is the first one entirely devoted to the topic of constraint debugging; it presents new approaches to debugging for the computational paradigm of constraint programming. The book is based on the European research project DiSCiPl. It consists of an introduction and three parts, each of them composed of several chapters. The introduction presents the DiSCiPl debugging methodology and explains how the technical chapters are related. The three parts on correctness debugging, performance debugging, and user cases offer a total of 13 consistenly written chapters. Coordinating production across a supply chain, designing a new VLSI chip, allocating classrooms or scheduling maintenance crews at an airport are just a few examples of complex (combinatorial) problems that can be modeled as a set of decision variables whose values are subject to a set of constraints. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Paperback. Condition: new. Paperback. 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 Linkoeping, 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 Orleans, France, May 16-18, 1988, are available as Lecture Notes in Computer Science, Vol. 348. 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 Linkoeping, Sweden, August 20-22, 1990. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Condition: New.

Condition: New.

Paperback. Condition: new. Paperback. Attribute grammars were introduced over twenty years ago, but they are still not as widely used as could have been hoped initially. This is particularly so in industry, despite their qualities as a specification tool. The aim of this International Workshop on Attribute Grammars and their Applications (WAGA), the first to be entirely devoted to this topic, was to show that they are still the subject of active research and now lead to important, useful and practical applications in various areas. The workshop covered all aspects of attribute grammars, with an emphasis on practical results. This volume includes the text of the three invited talks and 21 submitted papers presented at the workshop. This selection provides a wide view of the diverse research being done in the area. Topics include: - Fundamentals: efficient exhaustive and incremental at- tribute evaluation methods, parallel evaluation, space optimization, relationships with functional, logic and object-oriented programming, and systems. - Applications: compiler construction, natural language processing, and interactive program manipulation. The aim of this International Workshop on Attribute Grammars and their Applications (WAGA), the first to be entirely devoted to this topic, was to show that they are still the subject of active research and now lead to important, useful and practical applications in various areas. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Paperback. Condition: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

Condition: New.

Condition: New.

Condition: New.

Condition: New.

Soft cover. Condition: New. US SELLER SHIPS FAST FROM USA.

Taschenbuch. Condition: Gut. 401 Seiten ex Library Book aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969.

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.

Condition: As New. Unread book in perfect condition.

Condition: As New. Unread book in perfect condition.

Condition: As New. Unread book in perfect condition.

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.

Condition: As New. Unread book in perfect condition.