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: Renault:Sophie
Contributed to:
1997
199619951994Wrote 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.