Sophie Renault

13 papers A* 1C 3Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2005 J jnl
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism.
High. Order Symb. Comput.
Alberto Pettorossi, Maurizio Proietti, Sophie Renault
2003 J jnl
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism
CoRR
Alberto Pettorossi, Maurizio Proietti, Sophie Renault
1999 — conf
Improving Termination of MDG-Based Abstract State Enumeration via Term Schematization.
SMC@FLoC
Sophie Renault, Eduard Cerny
1997 A* conf
Reducing Nondeterminism while Specializing Logic Programs.
POPL
Alberto Pettorossi, Maurizio Proietti, Sophie Renault
1996 C conf
Enhancing Partial Deduction via Unfold/Fold Rules.
LOPSTR
Alberto Pettorossi, Maurizio Proietti, Sophie Renault
1996 — conf
How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification (Poster Abstract).
JICSLP
Alberto Pettorossi, Maurizio Proietti, Sophie Renault
1995 C conf
Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs under the Completion.
LOPSTR
Sophie Renault
1994 — conf
A Proof Manager for Verification of Logic Programs.
LPE
Sophie Renault, Pierre Deransart
1994 J jnl
Design of Redundant Formal Specifications by Logic Programming: Merging Formal Text and Good Comments.
Int. J. Softw. Eng. Knowl. Eng.
Sophie Renault, Pierre Deransart
1994 — conf
Design of Redundant Formal Specifications by Logic programming: Merging Formal Text and Good Comments.
ICLP Workshop: Applications of Logic Programming to Software Engineering
Sophie Renault, Pierre Deransart
1994 C conf
Generalizing Extended Execution for Normal Programs.
LOPSTR
Sophie Renault
1994 — conf
Généralisation de l'Exécution Étendue aux programmes normaux.
JFPLC
Sophie Renault
1993 — conf
Validation of Stratified Logic Programs: Methodology and Practical Experience.
EUROVAV
Sophie Renault