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: Lin:Nai=Wei
Contributed to:
1997
19941991
1990Wrote 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.