BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × USA
Collaborated with:
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 DBLP: Voets:Dean

Contributed to:

ICLP 20112011
LOPSTR 20102010
ICLP 20092009

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

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.