Automated Strategies for Specializing Constraint Logic Programs (0)

Cached

Download Links

by Fabio Fioravanti , Alberto Pettorossi , Maurizio Proietti
Venue:LOPSTR 2000, LNCS 2042
Citations:8 - 6 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
46 Logic program specialisation through partial deduction: Control issues – Michael Leuschel, Maurice Bruynooghe - 2002
4 Program Derivation = Rules + Strategies – Alberto Pettorossi, Maurizio Proietti - 2001
25 Homeomorphic embedding for online termination of symbolic methods – Michael Leuschel - 2002
3 Specialization with Clause Splitting for Deriving Deterministic Constraint Logic Programs – Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti - 2002
4 Transformation Rules for Locally Stratified Constraint Logic Programs – Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti - 2004
Verification of Infinite-State Systems by Specialization of CLP Programs – Fabio Fioravanti
4 Transformation of Constraint Logic Programs for Software Specialization and Verification – Fabio Fioravanti - 2002
4 The replacement operation for CCP programs – Marco Bertolino, Ro Etalle, Catuscia Palamidessi - 2000
4 A Transformation System for Modular CLP Programs – Sandro Etalle - 1995
11 A Transformation System for CLP with Dynamic Scheduling and ccp – Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori - 1997
6 Verifying CTL Properties of Infinite State Systems by Specializing Constraint Logic Programs – Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti - 2001
8 A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties – Alberto Pettorossi, Maurizio Proietti, Such That P - 1996
4 Program Specialization via Algorithmic Unfold/Fold Transformations – Alberto Pettorossi, Maurizio Proietti - 1998
8 Abstract conjunctive partial deduction using regular types and its application to model checking – Michael Leuschel, Stefan Gruner - 2001
16 Logic program specialisation – Michael Leuschel - 1999
7 Program Generation, Termination, and Binding-time Analysis – Neil D. Jones, Arne J. Glenstrup - 2002