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 × Germany
1 × Japan
1 × USA
Collaborated with:
I.Lin
Talks about:
program (4) logic (4) synthesi (2) analysi (2) type (2) dataflow (1) recurs (1) precis (1) compil (1) mode (1)

Person: Jichang Tan

DBLP DBLP: Tan:Jichang

Contributed to:

ILPS 19971997
JICSLP 19961996
ICLP 19951995
PLDI 19921992

Wrote 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.
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.