Lee Naish

发表

Implementation Mechanisms for Dependent And-Parallelism

Lee Naish, 1997 .

Demand-driven and constraint-based automatic left-termination analysis for Logic Programs

Lee Naish, 1997 .

Towards a portable lazy functional declarative debug-ger

Lee Naish, Tim Barbour, 1995 .

Animating recursive algorithms

Linda Stern, Lee Naish, 2002 .

Translating Logic Programs into Conditional Rewriting Systems

Lee Naish, 1997 .

A strategy for managing content complexity in algorithm animation

Linda Stern, Harald Søndergaard, Lee Naish, 1999, ITiCSE '99.

Concurrent Logic Programming and π Calculus

Lee Naish, 1997 .

Total Homeostaticity and Integrity Constraints Restorability Recognition

Lee Naish, 1997 .

Assumption Grammars for Processing Natural Language

Lee Naish, 1997 .

Hybrid Probabilistic Programs

Lee Naish, 1997 .

Constraint Search Trees

Lee Naish, 1997 .

A Modular Framework for the Combination of Unification and Built-In Constraints

Lee Naish, 1997 .

Higher-order logic programming

Lee Naish, L. Naish, 1996 .

Modularity in Functional-Logic Programming

Lee Naish, 1997 .

Differential Bottom-Up Computation of the Well-Founded Semantics

Lee Naish, 1997 .

Taking I/O Seriously: Resolution Reconsidered for Disk

Lee Naish, 1997 .

A Declarative Debugger for a Logical-Functional Language

Lee Naish, Tim Barbour, 2007 .