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

4 Rules and Strategies for Contextual Specialization of Constraint Logic Programs – Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti - 2000
1 Contextual Specialization of Constraint Logic Programs – Fabio Fioravanti, Maurizio Proietti - 1999
53 Logic program specialisation through partial deduction: Control issues – Michael Leuschel, Maurice Bruynooghe - 2002
1 Automatic Derivation of Logic Programs by Transformation – Alberto Pettorossi, Maurizio Proietti - 2000
Ph.D. Thesis Proposal: Transformation of Constraint Logic Programs – Fabio Fioravanti
546 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
551 Dynamically discovering likely program invariants to support program evolution – M D Ernst, J Cockrell, W G Griswold, D Notkin - 2001
789 The Semantics Of Constraint Logic Programs – Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - 1996