Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Alberto Pettorossi, Maurizio Proietti. Totally correct logic program transformations via well-founded annotations. Higher-Order and Symbolic Computation, 21(1-2):193-234, 2008. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Totally correct logic program transformations via well-founded annotationsAlberto Pettorossi, Maurizio Proietti. lisp, 21(1-2):235, 2008. [doi] A theory of totally correct logic program transformationsAlberto Pettorossi, Maurizio Proietti. PEPM 2004: 159-168 [doi] Automatic Correctness Proofs for Logic Program TransformationsAlberto Pettorossi, Maurizio Proietti, Valerio Senni. ICLP 2007: 364-379 [doi] Correctness of Logic Program Transformations Based on Existential TerminationKung-Kiu Lau, Mario Ornaghi, Alberto Pettorossi, Maurizio Proietti. SLP 1995: 480-494
The following publications are possibly variants of this publication: