Sophie Renault

Publication Activity (10 Years)

Years Active: 1993-2005
Publications (10 Years): 0

Publications

Alberto Pettorossi, Maurizio Proietti, Sophie Renault
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism. High. Order Symb. Comput. 18 (1-2) (2005)
Alberto Pettorossi, Maurizio Proietti, Sophie Renault
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism CoRR (2003)
Sophie Renault, Eduard Cerny
Improving Termination of MDG-Based Abstract State Enumeration via Term Schematization. Electron. Notes Theor. Comput. Sci. 23 (2) (1999)
Alberto Pettorossi, Maurizio Proietti, Sophie Renault
Reducing Nondeterminism while Specializing Logic Programs. POPL (1997)
Alberto Pettorossi, Maurizio Proietti, Sophie Renault
Enhancing Partial Deduction via Unfold/Fold Rules. LOPSTR (1996)
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)
Sophie Renault
Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs under the Completion. LOPSTR (1995)
Sophie Renault, Pierre Deransart
Design of Redundant Formal Specifications by Logic Programming: Merging Formal Text and Good Comments. Int. J. Softw. Eng. Knowl. Eng. 4 (3) (1994)
Sophie Renault, Pierre Deransart
Design of Redundant Formal Specifications by Logic programming: Merging Formal Text and Good Comments. ICLP Workshop: Applications of Logic Programming to Software Engineering (1994)
Sophie Renault
Generalizing Extended Execution for Normal Programs. LOPSTR (1994)
Sophie Renault, Pierre Deransart
A Proof Manager for Verification of Logic Programs. LPE (1994)
Sophie Renault
Généralisation de l'Exécution Étendue aux programmes normaux. JFPLC (1994)
Sophie Renault
Validation of Stratified Logic Programs: Methodology and Practical Experience. EUROVAV (1993)