Automatic Optimization of Multi-paradigm Declarative Programs
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Improving Functional Logic Programs by Difference-Lists
ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
UPV-CURRY: An Incremental CURRY Interpreter
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
An Automatic Composition Algorithm for Functional Logic Programs
SOFSEM '00 Proceedings of the 27th Conference on Current Trends in Theory and Practice of Informatics
Rules + strategies for transforming lazy functional logic programs
Theoretical Computer Science
Specialization of functional logic programs based on needed narrowing
Theory and Practice of Logic Programming
Transformation Rules and Strategies for Functional-Logic Programs: Thesis
AI Communications - CASC
Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding
Electronic Notes in Theoretical Computer Science (ENTCS)
Correction of functional logic programs
ESOP'03 Proceedings of the 12th European conference on Programming
The transformational approach to program development
A 25-year perspective on logic programming
Hi-index | 0.01 |