Record Details

AC-EQUATION SOLVING

DSpace at IIT Bombay

View Archive Info
 
 
Field Value
 
Title AC-EQUATION SOLVING
 
Creator MITRA, S
SIVAKUMAR, G
 
Description Equational Programming is an elegant way to uniformly integrate important features of logic and functional programming. A number of function symbols encountered in such a programming paradigm have the properties of associativity and commutativity (AC for short). It is therefore important Lo find equation solving strategies which can handle AC operators effectively. In this paper we show that a strict top-down approach extending [Mit90] will not solve the problem in the general case. We then develop a sound and complete strategy for equation solving, which performs better than the conventional approaches using AC-narrowing. Furthermore, we show that by using the AC-rules as constraints while solving the non-AC equations, a number of fruitless (and even infinite) search paths may be eliminated.
 
Publisher SPRINGER VERLAG
 
Date 2011-08-30T07:36:46Z
2011-12-26T12:58:50Z
2011-12-27T05:49:25Z
2011-08-30T07:36:46Z
2011-12-26T12:58:50Z
2011-12-27T05:49:25Z
1991
 
Type Article
 
Identifier LECTURE NOTES IN COMPUTER SCIENCE, 560(), 40-56
0302-9743
http://dspace.library.iitb.ac.in/xmlui/handle/10054/12239
http://hdl.handle.net/10054/12239
 
Language en