Spes: A System for Logic Program Transformation

Authors:
Francis Alexandre;Khaled Bsaïes;Jean-Pierre Finance;Alain Quéré
Affiliations:
-;-;-;-
Venue:
LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning
Year:
1992

Citing 0
Cited 3

Rules and strategies for transforming functional and logic programs

ACM Computing Surveys (CSUR)
Discovering and proving logic program properties

SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
An algebraic specification of a transformation tool for prolog programs

Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications

Quantified Score

Hi-index	0.02

Visualization

Abstract