A unifying view of functional and logic program specialization
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
Automatic Optimization of Multi-paradigm Declarative Programs
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Rules + strategies for transforming lazy functional logic programs
Theoretical Computer Science
Transformation Rules and Strategies for Functional-Logic Programs: Thesis
AI Communications - CASC
Loop detection in term rewriting using the eliminating unfoldings
Theoretical Computer Science
Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding
Electronic Notes in Theoretical Computer Science (ENTCS)
Detecting non-termination of term rewriting systems using an unfolding operator
LOPSTR'06 Proceedings of the 16th international conference on Logic-based program synthesis and transformation
Correction of functional logic programs
ESOP'03 Proceedings of the 12th European conference on Programming
Transformation and debugging of functional logic programs
A 25-year perspective on logic programming
| Hi-index | 0.00 |