Sophie Renault

According to our database, Sophie Renault authored at least 11 papers between 1993 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2005

Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism.

Alberto Pettorossi, Maurizio Proietti, Sophie Renault

High. Order Symb. Comput., 2005

1999

Improving Termination of MDG-Based Abstract State Enumeration via Term Schematization.

Sophie Renault, Eduard Cerny

Proceedings of the First International Workshop on Symbolic Model Checking, 1999

1997

Reducing Nondeterminism while Specializing Logic Programs.

Alberto Pettorossi, Maurizio Proietti, Sophie Renault

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

1996

Enhancing Partial Deduction via Unfold/Fold Rules.

Alberto Pettorossi, Maurizio Proietti, Sophie Renault

Proceedings of the Logic Programming Synthesis and Transformation, 1996

How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification (Poster Abstract).

Alberto Pettorossi, Maurizio Proietti, Sophie Renault

Proceedings of the Logic Programming, 1996

1995

Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs under the Completion.

Sophie Renault

Proceedings of the Logic Programming Synthesis and Transformation, 1995

1994

Design of Redundant Formal Specifications by Logic Programming: Merging Formal Text and Good Comments.

Sophie Renault, Pierre Deransart

Int. J. Softw. Eng. Knowl. Eng., 1994

Generalizing Extended Execution for Normal Programs.

Sophie Renault

Proceedings of the Logic Programming Synthesis and Transformation, 1994

Généralisation de l'Exécution Étendue aux programmes normaux.

Sophie Renault

Proceedings of the JFPLC'94, 1994

A Proof Manager for Verification of Logic Programs.

Sophie Renault, Pierre Deransart

Proceedings of the Sixth Workshop on Logic Programming Environments, 1994

1993

Validation of Stratified Logic Programs: Methodology and Practical Experience.

Sophie Renault

Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, 1993