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 × France
1 × Italy
1 × Sweden
1 × The Netherlands
Collaborated with:
A.Pettorossi M.Proietti
Talks about:
program (3) complet (2) normal (2) logic (2) nondetermin (1) properti (1) procedur (1) special (1) partial (1) general (1)

Person: Sophie Renault

DBLP DBLP: Renault:Sophie

Contributed to:

POPL 19971997
LOPSTR 19961996
LOPSTR 19951995
LOPSTR/META 19941994

Wrote 5 papers:

POPL-1997-PettorossiPR #logic programming #nondeterminism #source code
Reducing Nondeterminism while Specializing Logic Programs (AP, MP, SR), pp. 414–427.
LOPSTR-1996-PettorossiPR #deduction
Enhancing Partial Deduction via Unfold/Fold Rules (AP, MP, SR), pp. 146–168.
LOPSTR-1995-Renault #logic programming #proving #source code #towards
Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs under the Completion (SR), pp. 204–218.
LOPSTR-1994-Renault #execution #source code
Generalizing Extended Execution for Normal Programs (SR), pp. 154–169.

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.