 | 2005 |
|---|
| 12 |       | 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 | | Alberto Pettorossi,
Maurizio Proietti,
Sophie Renault:
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism
CoRR cs.PL/0311044: (2003) |
| 1999 |
|---|
| 10 | | 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 | | 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 | | 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 |
