BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Belgium
1 × France
1 × Japan
1 × Poland
1 × Portugal
1 × Sweden
1 × United Kingdom
2 × Germany
2 × USA
Collaborated with:
∅ J.A.Thom K.Ramamohanarao B.Pope L.Sterling D.Palmer L.Stern H.Søndergaard K.Marriott J.Lassez
Talks about:
prolog (6) algorithm (2) parallel (2) databas (2) declar (2) reconstruct (1) superjoin (1) strategi (1) quantifi (1) deadlock (1)

Person: Lee Naish

DBLP DBLP: Naish:Lee

Facilitated 1 volumes:

ICLP 1997Ed

Contributed to:

ICLP 20072007
PPDP 20032003
ITiCSE 19991999
LOPSTR 19971997
JICSLP 19961996
ICLP 19911991
PLILP 19911991
ICLP/SPL 19881988
ICLP 19871987
ICLP 19861986
VLDB 19861986
SLP 19851985

Wrote 13 papers:

ICLP-2007-Naish #analysis #concurrent
Resource-Oriented Deadlock Analysis (LN), pp. 302–316.
PPDP-2003-PopeN #aspect-oriented #debugging #declarative #haskell
Practical aspects of declarative debugging in Haskell 98 (BP, LN), pp. 230–240.
ITiCSE-1999-SternSN #algorithm #animation #complexity
A strategy for managing content complexity in algorithm animation (LS, HS, LN), pp. 127–130.
LOPSTR-1997-NaishS #higher-order #re-engineering
A Higher Order Reconstruction of Stepwise Enhancement (LN, LS), pp. 245–262.
JICSLP-1996-Naish #declarative
A Declarative View of Modes (LN), pp. 185–199.
ICLP-1991-PalmerN #named #parallel #prolog
NUA-Prolog: An Extension to the WAM for Parallel Andorra (DP, LN), pp. 429–442.
PLILP-1991-Naish #equation #prolog
Adding equations to NU-Prolog (LN), pp. 15–26.
JICSCP-1988-MarriottNL88 #logic programming #source code
Most Specific Logic Programs (KM, LN, JLL), pp. 909–923.
JICSCP-1988-Naish88 #prolog
Parallelizing NU-Prolog (LN), pp. 1546–1564.
ICLP-1987-NaishTR87 #concurrent #database #prolog
Concurrent Database Updates in PROLOG (LN, JAT, KR), pp. 178–195.
ICLP-1986-Naish86 #prolog #quantifier
Negation and Quantifiers in NU-Prolog (LN), pp. 624–634.
VLDB-1986-ThomRN #algorithm #database #deduction
A Superjoin Algorithm for Deductive Databases (JAT, KR, LN), pp. 189–196.
SLP-1985-Naish85 #prolog
All Solutions Predicates in Prolog (LN), pp. 73–77.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.