Add to ORKG1 This report describes SP, a system for specialising logic programs. The report functions as a user's manual for SP, and also contains the algorithms employed and arguments for their correctness. A number of examples of program specialisation are given in Appendix A
Logic programming is programming by description. The programmer describes the application area and l...
Davies Graham Michael, Staddon Sally. Description of programs (présentation, utilisation et évaluati...
In software development an emphasis is placed on creating reusable general programs which solve a wi...
Abstract. In this paper we present a program specialisation method which, given a call/post specicat...
Program specialization is a collection of program transformation techniques for improving program ef...
In this paper we develop an algorithm, based on abstract interpretation, for source specialisation o...
Program specialization is a collection of program transformation techniques for improving program ef...
pp. 277-278 in Proc. NAIC'98, eds. H. La Poutré, J. van den Herik, 1998status: publishe
Program specialization is a program transformation methodology which improves program efficiency by ...
in Logic Program Synthesis and Transformation, Proceedings of LOPSTR'98, ed. P. Flener, LNCS1559, pp...
We give a general introduction to the particular problems associated with the partial evaluation of ...
We clarify the relationship between abstract interpretation and program spe-cialisation in the conte...
SIGLELD:7056.15(DOC--82/4). / BLDSC - British Library Document Supply CentreGBUnited Kingdo
The paper is concerned with the design of a module system for logic programming so as to satisfy man...
© Springer-Verlag Berlin Heidelberg 1998. In this paper, we develop a solid theoretical foundation f...
Logic programming is programming by description. The programmer describes the application area and l...
Davies Graham Michael, Staddon Sally. Description of programs (présentation, utilisation et évaluati...
In software development an emphasis is placed on creating reusable general programs which solve a wi...
Abstract. In this paper we present a program specialisation method which, given a call/post specicat...
Program specialization is a collection of program transformation techniques for improving program ef...
In this paper we develop an algorithm, based on abstract interpretation, for source specialisation o...
Program specialization is a collection of program transformation techniques for improving program ef...
pp. 277-278 in Proc. NAIC'98, eds. H. La Poutré, J. van den Herik, 1998status: publishe
Program specialization is a program transformation methodology which improves program efficiency by ...
in Logic Program Synthesis and Transformation, Proceedings of LOPSTR'98, ed. P. Flener, LNCS1559, pp...
We give a general introduction to the particular problems associated with the partial evaluation of ...
We clarify the relationship between abstract interpretation and program spe-cialisation in the conte...
SIGLELD:7056.15(DOC--82/4). / BLDSC - British Library Document Supply CentreGBUnited Kingdo
The paper is concerned with the design of a module system for logic programming so as to satisfy man...
© Springer-Verlag Berlin Heidelberg 1998. In this paper, we develop a solid theoretical foundation f...
Logic programming is programming by description. The programmer describes the application area and l...
Davies Graham Michael, Staddon Sally. Description of programs (présentation, utilisation et évaluati...
In software development an emphasis is placed on creating reusable general programs which solve a wi...