Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8–10, 1987 Proceedings

J. C. M. Baeten, W. P. Weijland (auth.), S. Kaplan, J. -P. Jouannaud (eds.)3540192425, 9783540192428

The 1st International Workshop on Conditional Term Rewriting Systems took place in Orsay (University of Paris-Sud) in July 1987, and brought together most of the researchers involved in the field. Conditional rewriting has actually known important breakthroughs during the last two years; it was the purpose of the workshop to put the results together, to present new, original contributions to the domain, and to discuss still unsolved issues. These contributions are reported in the proceedings. The main questions that have been addressed are the different semantics for conditional rewriting and their classification, possible extensions to the basic formalism, and the relationship between conditional rewriting and logic programming. Also, more practical issues such as applications and implementations of conditional term rewriting systems have been addressed. Descriptions of seven actual systems allowing conditional rewriting are included.

---

Table of contents :
Semantics for Prolog via term rewrite systems….Pages 3-14
Hierarchical contextual rewriting with several levels….Pages 15-30
Confluence of conditional rewrite systems….Pages 31-44
Solving goals in equational languages….Pages 45-55
On the use of conditional rewrite rules in inductive theorem proving….Pages 56-61
A completion procedure for conditional equations….Pages 62-83
A compiler for a class of conditional term rewriting systems….Pages 84-90
Notes on the elimination of conditions….Pages 91-97
Equational axiomatizations of if-then-else….Pages 98-110
Compiling conditional rewriting systems….Pages 111-128
Positive/negative conditional rewriting….Pages 129-143
On word problems in Horn theories….Pages 144-160
Conditional specifications with inequational assumptions….Pages 161-178
A logical analysis on theory of conditional rewriting….Pages 179-196
Computing with conditional rewrite rules….Pages 197-211
A logic for conditional term rewriting systems….Pages 212-227
Confluent term rewriting systems with membership conditions….Pages 228-241
TRSPEC: A term rewriting based system for algebraic specifications….Pages 245-248
CEC: A system for the completion of conditional equational specifications….Pages 249-250
Asspegique….Pages 251-252
REVEUR4: A laboratory for conditional rewriting….Pages 253-257
An introduction to OBJ 3….Pages 258-263
The Passau RAP system: Rapid prototyping for algebraic specifications….Pages 264-265
Architecture for conditional term rewriting….Pages 266-278