Automated Strategies for Specializing Constraint Logic Programs (0)

Cached

Download Links

by Fabio Fioravanti , Alberto Pettorossi , Maurizio Proietti
Venue:LOPSTR 2000, LNCS 2042
Citations:9 - 7 self

Active Bibliography

1 Contextual Specialization of Constraint Logic Programs – Fabio Fioravanti, Maurizio Proietti - 1999
4 Rules and Strategies for Contextual Specialization of Constraint Logic Programs – Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti - 2000
1 Automatic Derivation of Logic Programs by Transformation – Alberto Pettorossi, Maurizio Proietti - 2000
53 Logic program specialisation through partial deduction: Control issues – Michael Leuschel, Maurice Bruynooghe - 2002
17 Verifying CTL Properties of Infinite State Systems by Specializing Constraint Logic Programs – Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti - 2001
28 Homeomorphic embedding for online termination of symbolic methods – Michael Leuschel - 2002
4 Program Derivation = Rules + Strategies – Alberto Pettorossi, Maurizio Proietti - 2001
5 Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs – Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti - 2002
2 VERIFYING INFINITE STATE SYSTEMS BY SPECIALIZING CONSTRAINT LOGIC PROGRAMS – F. Fioravanti, A. Pettorossi, M. Proietti
Verification of Infinite-State Systems by Specialization of CLP Programs – Fabio Fioravanti
14 Transformation Rules for Locally Stratified Constraint Logic Programs – Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti - 2004
5 Transformation of Constraint Logic Programs for Software Specialization and Verification – Fabio Fioravanti - 2002
Verification of Imperative Programs by Transforming Constraint Logic Programs ⋆ – Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Verification of Imperative Programs through Transformation of Constraint Logic Programs – Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
5 The replacement operation for CCP programs – Marco Bertolino, Sandro Etalle, Catuscia Palamidessi - 2000
139 TRANSFORMATION OF LOGIC PROGRAMS: FOUNDATIONS AND TECHNIQUES – A. Pettorossi, M. Proietti - 1993
Using Real Relaxations During Program Specialization – Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
Controlling Polyvariance for Specialization-Based Verification – Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
4 Program Specialization via Algorithmic Unfold/Fold Transformations – Alberto Pettorossi, Maurizio Proietti - 1998