Travelled to:1 × Austria
1 × USA
Collaborated with:D.D.Schreye ∅
Talks about:program (4) analysi (4) termin (4) logic (4) non (4) research (1) arithmet (1) approach (1) summari (1) integ (1)
Person: Dean Voets
DBLP: Voets:Dean
Contributed to:
2011
20102009Wrote 4 papers:
- ICLP-J-2011-VoetsS #analysis #integer #logic programming #source code
- Non-termination analysis of logic programs with integer arithmetics (DV, DDS), pp. 521–536.
- LOPSTR-2010-VoetsS #analysis #logic programming #source code #using
- Non-termination Analysis of Logic Programs Using Types (DV, DDS), pp. 133–148.
- ICLP-2009-Voets #analysis #logic programming #research #source code #summary
- Research Summary: Non-termination Analysis of Logic Programs (DV), pp. 553–554.
- ICLP-2009-VoetsS #analysis #approach #logic programming #source code
- A New Approach to Non-termination Analysis of Logic Programs (DV, DDS), pp. 220–234.