Lee Naish
Lee Naish
Computing and Information Systems, University of Melbourne
Verified email at unimelb.edu.au - Homepage
Title
Cited by
Cited by
Year
A model for spectra-based software diagnosis
L Naish, HJ Lee, K Ramamohanarao
ACM Transactions on software engineering and methodology (TOSEM) 20 (3), 1-32, 2011
3462011
Statistical debugging: A hypothesis testing-based approach
C Liu, L Fei, X Yan, J Han, SP Midkiff
IEEE Transactions on software engineering 32 (10), 831-848, 2006
3372006
Negation and control in Prolog
L Naish
Springer Science & Business Media, 1986
3281986
Negation and control in Prolog
L Naish
Springer Science & Business Media, 1986
3281986
Hybrid probabilistic programs
A Dekhtyar, VS Subrahmanian
The Journal of Logic Programming 43 (3), 187-250, 2000
1652000
A declarative debugging scheme
L Naish
Department of Computer Science, University of Melbourne, 1995
1531995
Automating control for logic programs
L Naish
The Journal of Logic Programming 2 (3), 167-183, 1985
1001985
Negation and quantifiers in NU-Prolog
L Naish
International Conference on Logic Programming, 624-634, 1986
941986
Parallelizing nu-prolog
L Naish
Logic Programming, Proceedings of the Fifth International Conference and …, 1988
931988
A higher order rewriting logic for functional logic programming
JC González-Moreno, MT Hortalá-González, M Rodrıguez-Artalejo
Proc. of the Fourteenth International Conference on Logic Programming (ICLP …, 1997
90*1997
Adding equations to NU-Prolog
L Naish
International Symposium on Programming Language Implementation and Logic …, 1991
721991
Most specific logic programs
K Marriott, L Naish, JL Lassez
Annals of mathematics and artificial intelligence 1 (1-4), 303-338, 1990
691990
Assumption Grammars for Processing Natural Language.
V Dahl, P Tarau, R Li
ICLP, 256-270, 1997
681997
Declarative diagnosis of missing answers
L Naish
New Generation Computing 10 (3), 255-285, 1992
671992
An introduction to MU-Prolog
L Naish
Department of Computer Science, Univ., 1982
671982
Non-Failure Analysis for Logic Programs.
SK Debray, P López-García, MV Hermenegildo
ICLP 97, 48-62, 1997
651997
Higher-order logic programming in Prolog
L Naish
Proc. Workshop on Multi-Paradigm Logic Programming, JICSLP 96, 1-23, 1996
601996
Types and the intended meaning of logic programs
L Naish
Typed in Logic Programming, 189-216, 1992
591992
A strategy for managing content complexity in algorithm animation
L Stern, H Søndergaard, L Naish
ACM SIGCSE Bulletin 31 (3), 127-130, 1999
561999
MU-Prolog 3.1 db Reference Manual
L Naish
Melbourne University Press, 1984
551984
The system can't perform the operation now. Try again later.
Articles 1–20