2005 |
12 | EE | Alberto Pettorossi,
Maurizio Proietti,
Sophie Renault:
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism.
Higher-Order and Symbolic Computation 18(1-2): 121-210 (2005) |
2003 |
11 | EE | Alberto Pettorossi,
Maurizio Proietti,
Sophie Renault:
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism
CoRR cs.PL/0311044: (2003) |
1999 |
10 | EE | Sophie Renault,
Eduard Cerny:
Improving Termination of MDG-Based Abstract State Enumeration via Term Schematization.
Electr. Notes Theor. Comput. Sci. 23(2): (1999) |
1997 |
9 | EE | Alberto Pettorossi,
Maurizio Proietti,
Sophie Renault:
Reducing Nondeterminism while Specializing Logic Programs.
POPL 1997: 414-427 |
1996 |
8 | | Alberto Pettorossi,
Maurizio Proietti,
Sophie Renault:
How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification (Poster Abstract).
JICSLP 1996: 539 |
7 | | Alberto Pettorossi,
Maurizio Proietti,
Sophie Renault:
Enhancing Partial Deduction via Unfold/Fold Rules.
LOPSTR 1996: 146-168 |
1995 |
6 | | Sophie Renault:
Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs under the Completion.
LOPSTR 1995: 204-218 |
1994 |
5 | | Sophie Renault:
Généralisation de l'Exécution Étendue aux programmes normaux.
JFPLC 1994: 109- |
4 | | Sophie Renault:
Generalizing Extended Execution for Normal Programs.
LOPSTR 1994: 154-169 |
3 | | Sophie Renault,
Pierre Deransart:
A Proof Manager for Verification of Logic Programs.
LPE 1994: 0- |
2 | EE | Sophie Renault,
Pierre Deransart:
Design of Redundant Formal Specifications by Logic Programming: Merging Formal Text and Good Comments.
International Journal of Software Engineering and Knowledge Engineering 4(3): 369-390 (1994) |
1993 |
1 | | Sophie Renault:
Validation of Stratified Logic Programs: Methodology and Practical Experience.
EUROVAV 1993: 143-157 |