Abstract | ||
---|---|---|
Spes is an interactive system for transforming logic programs. It is intended as a formal tool for transforming Horn clauses specifications into correct and more efficient programs. The main transformations used in the Spes system are Unfolding and Folding. |
Year | DOI | Venue |
---|---|---|
1992 | 10.1007/BFb0013082 | LPAR |
Keywords | Field | DocType |
logic program transformation | Logic program,Programming language,Program transformation,Horn clause,Computer science,Theoretical computer science | Conference |
Volume | ISSN | ISBN |
624 | 0302-9743 | 3-540-55727-X |
Citations | PageRank | References |
7 | 0.76 | 5 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Francis Alexandre | 1 | 14 | 2.89 |
K. Bsaïes | 2 | 45 | 12.46 |
Jean-Pierre Finance | 3 | 31 | 7.56 |
Alain Quéré | 4 | 39 | 6.91 |