Term Rewriting as a Basis for the Design of a Functional and Parallel Programming Language PDF Download

Author: P. Jorrand
Publisher:
ISBN:
Category :
Languages : en
Pages : 70

View

Book Description

Author: Jan Grabowski
Publisher: Springer
ISBN: 3540460632
Category : Computers
Languages : en
Pages : 277

View

Book Description
This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrite rule systems, and Logic Programming, in the sense of Horn clause specifications and resolution systems. This includes combined algebraic/logic programming systems, mutual relations and mutual implementation of programming paradigms, completeness and efficiency considerations in both fields, as well as related topics.

Author: Sophie Tison
Publisher: Springer
ISBN: 3540456104
Category : Computers
Languages : en
Pages : 397

View

Book Description
This book constitutes the refereed proceedings of the 13th International Conference on Rewriting Techniques and Applications, RTA 2002, held in Copenhagen, Denmark, in July 2002. The 20 regular papers, two application papers, and four system descriptions presented together with three invited contributions were carefully reviewed and selected from 49 submissions. All current aspects of rewriting are addressed.

Author: Nachum Dershowitz
Publisher: Springer Science & Business Media
ISBN: 9783540510819
Category : Computers
Languages : en
Pages : 598

View

Book Description
Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Combinatory Logic and the Lambda Calculus. Applications cover broad areas in automated reasoning, programming language design, semantics, and implementations, and symbolic and algebraic manipulation. The proceedings of the third International Conference on Rewriting Techniques and Applications contain 34 regular papers, covering many diverse aspects of rewriting (including equational logic, decidability questions, term rewriting, congruence-class rewriting, string rewriting, conditional rewriting, graph rewriting, functional and logic programming languages, lazy and parallel implementations, termination issues, compilation techniques, completion procedures, unification and matching algorithms, deductive and inductive theorem proving, Gröbner bases, and program synthesis). It also contains 12 descriptions of implemented equational reasoning systems. Anyone interested in the latest advances in this fast growing area should read this volume.

Author: Franz Baader
Publisher: Cambridge University Press
ISBN: 1316101797
Category : Computers
Languages : en
Pages : 318

View

Book Description
This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory, Gröbner bases and Buchberger's algorithm. The main algorithms are presented both informally and as programs in the functional language Standard ML (an appendix contains a quick and easy introduction to ML). Certain crucial algorithms like unification and congruence closure are covered in more depth and Pascal programs are developed. The book contains many examples and over 170 exercises. This text is also an ideal reference book for professional researchers: results that have been spread over many conference and journal articles are collected together in a unified notation, proofs of almost all theorems are provided, and each chapter closes with a guide to the literature.

Author: Bertram Fronhöfer
Publisher: Springer Science & Business Media
ISBN: 9783540554257
Category : Computers
Languages : en
Pages : 390

View

Book Description
This volume contains the proceedings of an international workshop on parallelism in inference systems held in Germany in December 1990. The topicof the workshop is still rather young and several papers in the book are overview articles intended to provide a first orientation toward some of the more intensively investigated subtopics. The main part of the book is a compilation of research papers on parallelization in special domains ofinference such as rewriting, automatic reasoning, logic programming, andconnectionist inference. Appended to the book is a collection of short project summaries received in response to a worldwide email call. The book is intended primarily for researchers working on inference systems who are interested in parallelizing their systems.

Author: P. Jorrand
Publisher: Elsevier
ISBN: 1483297780
Category : Computers
Languages : en
Pages : 450

View

Book Description
Presenting recent results and ongoing research in Artificial Intelligence, this book has a strong emphasis on fundamental questions in several key areas: programming languages, automated reasoning, natural language processing and computer vision.AI is at the source of major programming language design efforts. Different approaches are described, with some of their most significant results: languages combining logic and functional styles, logic and parallel, functional and parallel, logic with constraints.A central problem in AI is automated reasoning, and formal logic is, historically, at the root of research in this domain. This book presents results in automatic deduction, non-monotonic reasoning, non-standard logic, machine learning, and common-sense reasoning. Proposals for knowledge representation and knowledge engineering are described and the neural net challenger to classical symbolic AI is also defended.Finally, AI systems must be able to interact with their environment in a natural and autonomous way. Natural language processing is an important part of this. Various results are presented in discourse planning, natural language parsing, understanding and generation. The autonomy of a machine for perception of its physical environment is also an AI problem and some research in image processing and computer vision is described.

Author: M.A. Frumkin
Publisher: Springer Science & Business Media
ISBN: 9401125147
Category : Mathematics
Languages : en
Pages : 324

View

Book Description
This monograph is devoted to a new method of parallel computing which uses VLSI technology in an effcient manner. By this method, data are fed to the cells of a systolic processor and results are obtained instantly. Some theoretical and algorithmic questions which arise in the design of hardware and software for systolic processing are considered. Special attention is devoted to the complexity of VLSI, complexity of algorithms, parallel algorithms, relations between graphs of algorithms and graphs of processors, parallel programming languages, and the use of systolic algorithms for vector programming. The book is unique for its inclusion of a library of systolic algorithms for solving problems from twelve branches of computer science, and will be useful for designers of hardware and software for parallel processing.

Author: Terese
Publisher: Cambridge University Press
ISBN: 9780521391153
Category : Computers
Languages : en
Pages : 926

View

Book Description
Term rewriting systems developed out of mathematical logic and are an important part of theoretical computer science. They consist of sequences of discrete transformation steps where one term is replaced with another and have applications in many areas, from functional programming to automatic theorem proving and computer algebra. This 2003 book starts at an elementary level with the earlier chapters providing a foundation for the rest of the work. Much of the advanced material appeared here for the first time in book form. Subjects treated include orthogonality, termination, completion, lambda calculus, higher-order rewriting, infinitary rewriting and term graph rewriting. Many exercises are included with selected solutions provided on the web. A comprehensive bibliography makes this book ideal both for teaching and research. A chapter is included presenting applications of term rewriting systems, with many pointers to actual implementations.

Author: Philip C. Treleaven
Publisher: Springer Science & Business Media
ISBN: 9783540182030
Category : Computers
Languages : en
Pages : 506

View

Book Description
Organized by the University of Pisa on behalf of the European Strategic Programme for Research and Development in Information Technology (ESPRIT)