Sophie Renault
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
1994–1997
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | POPL | Reducing Nondeterminism while Specializing Logic Programs. | Alberto Pettorossi, Maurizio Proietti, Sophie Renault |
| 1996 | ICLP | How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification (Poster Abstract). | Alberto Pettorossi, Maurizio Proietti, Sophie Renault |
| 1996 | LOPSTR | Enhancing Partial Deduction via Unfold/Fold Rules. | Alberto Pettorossi, Maurizio Proietti, Sophie Renault |
| 1995 | LOPSTR | Towards a Complete Proof Procedure to Prove Properties of Normal Logic Programs under the Completion. | Sophie Renault |
| 1994 | ICLP | A Proof Manager for Verification of Logic Programs. | Sophie Renault, Pierre Deransart |
| 1994 | ICLP | Design of Redundant Formal Specifications by Logic programming: Merging Formal Text and Good Comments. | Sophie Renault, Pierre Deransart |
| 1994 | LOPSTR | Generalizing Extended Execution for Normal Programs. | Sophie Renault |