A. Sabelfeld. Correct Transformation of Logic Programs. In Haveraaen and Owe [10]. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Composition based on Meta-Programming - Lämmel (1997) (Correct)
....of composition, that is to say joining and lifting, naturally arise in this context. There is related work in the elds of program synthesis [5] particularly schema guided program construction [8] and program transformation [15] e.g. approaches for re nement [13] or aiming at optimization [18]. To preserve semantics is the central demand in this context. We emphasize our goal to support design in a more abstract sense compared to the usual way of program development and adaptation exploiting low level activities as text editing. Therefore, we introduce a calculus for meta programming. ....
A. Sabelfeld. Correct Transformation of Logic Programs. In Haveraaen and Owe [10].
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