Travelled to:1 × Belgium
1 × France
Collaborated with:∅ M.Hanus
Talks about:function (2) program (2) logic (2) interpret (1) abstract (1) analysi (1) denot (1) mode (1)
Person: Frank Zartmann
DBLP: Zartmann:Frank
Contributed to:
19971994Wrote 2 papers:
- SAS-1997-Zartmann #abstract interpretation #functional #logic programming #source code
- Denotational Abstract Interpretation of Functional Logic Programs (FZ), pp. 141–159.
- SAS-1994-HanusZ #analysis #functional #logic programming #source code
- Mode Analysis of Functional Logic Programs (MH, FZ), pp. 26–42.