(Some of) Lee's papers

Research areas

• Declarative debugging
• Logic programming techniques and language extensions

List of papers

• Negation and control in Prolog
• Negation and quantifiers in NU-Prolog
• Pruning the search space of Prolog: cut and other primitives
• Proving properties of committed choice logic programs
• Pruning in logic programming
• Types and the intended meaning of logic programs
• Verification of logic programs and imperative programs
• Coroutining and the construction of terminating logic programs
• A three-valued semantics for Horn clause programs
• A three-valued semantics for logic programmers
• A declarative view of modes
• Mode checking using constrained regular trees
• Approximating the success set of logic programs using constrained regular types
• Parallelizing NU-Prolog
• Applying the Andorra principle
• Adding equations to NU-Prolog
• Object-oriented programming in Prolog: rationale and a case study
• Higher-order logic programming in Prolog
• A higher order reconstruction of stepwise enhancement
• Stepwise enhancement and higher order programming in Prolog
• The NU-Prolog debugging environment
• Declarative diagnosis of missing answers
• Declarative debugging of lazy functional programs
• A declarative debugger for a logical-functional language
• A declarative debugging scheme
• A three-valued declarative debugging scheme
• Towards a portable lazy functional declarative debugger
• Declarative diagnosis of floundering
• Spectra-based software diagnosis

Bibtex entries

Lee