Selected research

Integration of Functional and Logic Programming (BABEL/CURRY project)

 There is also a list of papers with abstracts

• Integration of Paradigms
• A Survey on the expressivity and the implementation of functional logic languages (Draft version), Invited Tutorial at Joint Conference on Declarative Programming (GULP-PRODE'94).
• Implementations
• Innermost implementation + the higher order extension of the language: conference version (ESOP'90) and journal version (New Generation Computing)
• Lazy implementation by an abstract Machine (ALP'90)
• Lazy implementation by compilation to Prolog (LOPTRS'92)
• Lazy implementation with Constraints (JISCLP'92)
• Lazy strategies and program analysis
• Demandedness Analysis (PLILP'93)
• Demandedness analysis with dependence information (Workshop at ILPS'93)
• Partial Predicates: a new formalism to manage demand (WFLP'2000)
• Bottom-up Evaluation of Functional Logic Programs (WFLP'96)
  
• Parallel Implementations
• Parallelism based on subexpression parallelism / eager evaluation
• Parallelism based on subexpression parallelism and lazy synchronization
• Default Rules
• Eager model
• Lazy model
• Curry: A New Proposal
• Curry preliminar paper (Workshop at ILPS'95)
• Curry report
• Adding Type Classes to Curry (AGP'96)
• Functional-logic languages for the Real World (Invited talk, 7th Colloquium on Numerical Analysis and Computer Science with Applications - Plovdid (Bulgaria))
• Using strictness information in the compilation of Curry Programs (AGP'98)
• Compilation of Non-Sequential Curry Programs (PADL'00)
• Using Curry for the debugging of Imperative Languages (WFLP'2000)

The SLAM project (the SLAM specification language, specification and visualization of the WAM, the Friendly-WAM)

• The WAM specification
• The Friendly-WAM
• The SLAM project (see the SLAM web page)
• Draft report on the SLAM language
• SLAM for automatic prototype generation(JISBD'2000)
• The SLAM debugging facilities by using Prolog (AADEBUG'2000)
• The SLAM debugging facilities by using Curry (WFLP'2000)

Negation and Inheritance in Logic Programming

• A new extension of Inheritance in LP: tuple inheritance
• Tuple Inheritance (GP'95, ICLP'95)
• Implementation of Negation in LP
• Implementation of Negation in Logic Programming by Using Static Analysis (AGP'98, PADL'2000)
• Measuring the efficiency of the Implementation (submitted)