关注
Lee Naish
Lee Naish
Computing and Information Systems, University of Melbourne
没有经过验证的电子邮件地址 - 首页
标题
引用次数
引用次数
年份
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
6552011
Negation and control in Prolog
L Naish
Springer Science & Business Media, 1986
3661986
A declarative debugging scheme
L Naish
Department of Computer Science, University of Melbourne, 1995
1621995
Automatic termination analysis of logic programs
N Linderistrauss, Y Sagiv
1281997
Automating control for logic programs
L Naish
The Journal of Logic Programming 2 (3), 167-183, 1985
1121985
Negation and quantifiers in NU-Prolog
L Naish
International Conference on Logic Programming, 624-634, 1986
981986
Parallelizing nu-prolog
L Naish
Proc. of Logic Programming, 1546-1564, 1988
971988
Adding equations to NU-Prolog
L Naish
International Symposium on Programming Language Implementation and Logic …, 1991
771991
An introduction to MU-Prolog
L Naish
Department of Computer Science, Univ., 1982
771982
Declarative diagnosis of missing answers
L Naish
New Generation Computing 10, 255-285, 1992
711992
Higher-order logic programming in Prolog
L Naish
Proc. Workshop on Multi-Paradigm Logic Programming, JICSLP 96, 1-23, 1996
661996
Types and the intended meaning of logic programs
L Naish
Typed in Logic Programming, 189-216, 1992
621992
MU-Prolog 3.1 db Reference Manual
L Naish
Melbourne University Press, 1984
621984
A strategy for managing content complexity in algorithm animation
L Stern, H Søndergaard, L Naish
ACM SIGCSE Bulletin 31 (3), 127-130, 1999
611999
Shuffle-sum: coercion-resistant verifiable tallying for STV voting
J Benaloh, T Moran, L Naish, K Ramchen, V Teague
IEEE Transactions on Information Forensics and Security 4 (4), 685-698, 2009
552009
The NU-Prolog Debugging Environment.
L Naish, PW Dart, J Zobel
ICLP, 521-536, 1989
551989
Practical aspects of declarative debugging in Haskell 98
B Pope, L Naish
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
532003
MU-PROLOG 3.0 reference manual
L Naish
Department of Computer Science, University of Melbourne, 1983
531983
Coroutining and the construction of terminating logic programs
L Naish
Technical Report 92/5, Department of Computer Science, University of Melbourne, 1992
511992
Towards a portable lazy functional declarative debugger
L Naish, T Barbour
Australian Computer Science Communications 18, 401-408, 1996
491996
系统目前无法执行此操作,请稍后再试。
文章 1–20