Alberto Pettorossi and Maurizio Proietti. Synthesis and transformation of logic programs using unfold/fold proofs. Journal of Logic Programming, 41(23) :197-230, 1999. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Static Analysis for Safe Destructive Updates in a Functional.. - Shankar (2001) (1 citation) (Correct)
....one, and these two designs evolve separately. Through the generation of ecient code from logic, it is possible to unify these designs so that the implementation is generated systematically from its description in a logic based speci cation language. Systematic logic based transformations [PP99] can be 22 used to obtain more ecient algorithms and better resource usage. Such transformations can also lead to programs that are more optimizable, as is needed for the update analysis given here to be e ective. The target of the transformation can then be subjected to static analysis (e.g. ....
Alberto Pettorossi and Maurizio Proietti. Synthesis and transformation of logic programs using unfold/fold proofs. Journal of Logic Programming, 41(23) :197-230, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC