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 × Japan
1 × USA
2 × France
Collaborated with:
D.D.Schreye J.Vennekens M.Bruynooghe K.F.Sagonas M.Denecker
Talks about:
program (4) logic (4) termin (3) analysi (2) tabl (2) disjunct (1) composit (1) modular (1) general (1) prolog (1)

Person: Sofie Verbaeten

DBLP DBLP: Verbaeten:Sofie

Contributed to:

ICLP 20042004
FLOPS 19991999
ICLP 19991999
PPDP 19991999
ILPS 19971997

Wrote 5 papers:

ICLP-2004-VennekensVB #logic programming #source code
Logic Programs with Annotated Disjunctions (JV, SV, MB), pp. 431–445.
FLOPS-1999-VerbaetenS #analysis #logic programming #source code #termination #using
Termination Analysis of Tabled Logic Programs Using Mode and Type Information (SV, DDS), pp. 163–178.
ICLP-1999-Verbaeten #abduction #analysis #logic programming #source code #termination
Termination Analysis for Abductive General Logic Programs (SV), pp. 365–379.
PPDP-1999-VerbaetenSS #composition #prolog #proving #termination
Modular Termination Proofs for Prolog with Tabling (SV, KFS, DDS), pp. 342–359.
ILPS-1997-VerbaetenDS #composition #logic programming #source code
Compositionality of Normal Open Logic Programs (SV, MD, DDS), pp. 371–385.

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.