BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × France
1 × USA
Collaborated with:
S.K.Debray M.V.Hermenegildo P.López-García
Talks about:
program (4) logic (4) analysi (2) estim (2) cost (2) granular (1) complex (1) automat (1) comput (1) lower (1)

Person: Nai-Wei Lin

DBLP DBLP: Lin:Nai=Wei

Contributed to:

ILPS 19971997
SAS 19941994
ICLP 19911991
PLDI 19901990

Wrote 4 papers:

ILPS-1997-DebrayLHL #bound #estimation #logic programming #source code
Lower Bound Cost Estimation for Logic Programs (SKD, PLG, MVH, NWL), pp. 291–305.
SAS-1994-DebrayGHL #logic programming #source code
Estimating the Computational Cost of Logic Programs (SKD, PLG, MVH, NWL), pp. 255–265.
ICLP-1991-DebrayL #analysis #automation #complexity #logic programming #source code
Automatic Complexity Analysis of Logic Programs (SKD, NWL), pp. 599–613.
PLDI-1990-DebrayLH #analysis #logic programming #source code
Task Granularity Analysis in Logic Programs (SKD, NWL, MVH), pp. 174–188.

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.