Travelled to:1 × Germany
1 × Japan
1 × USA
Collaborated with:J.Tan
Talks about:program (4) logic (4) synthesi (2) analysi (2) type (2) dataflow (1) recurs (1) precis (1) compil (1) mode (1)
Person: I-Peng Lin
DBLP: Lin:I=Peng
Contributed to:
199719961995
1992Wrote 4 papers:
- ILPS-1997-TanL #analysis #logic programming #precise #recursion #source code
- Recursive Modes for Precise Analysis of Logic Programs (JT, IPL), pp. 277–290.
- JICSLP-1996-TanL #logic programming #source code #synthesis
- Type Synthesis for Logic Programs (JT, IPL), pp. 200–214.
- ICLP-1995-TanL #logic programming #source code #synthesis
- Type Synthesis for Logic Programs (JT, IPL), p. 823.
- PLDI-1992-TanL #analysis #compilation #data flow #logic programming #source code
- Compiling Dataflow Analysis of Logic Programs (JT, IPL), pp. 106–115.