论文信息 - TransLog, an interactive tool for transformation of logic programs

TransLog, an interactive tool for transformation of logic programs

This report describes`TransLog', a prototype of a transformation tool for logic programs. The tool has been developed with the ASF+SDF Meta{environment, a programming environment generator tool based on algebraic speciication. TransLog supports the interactive transformation of (a part of) a program by means of buttons representing transformation rules. This report contains the complete annotated algebraic speciication of TransLog.

J. Brunekreef | J. J. Brunekreef

[1] 中川裕志,et al. UNFOLD/FOLD TRANSFORMATION OF STRATIFIED PROGRAMS , 1989 .

[2] Jan Komorowski,et al. Towards Refinement of Definite Logic Programs , 1994, ISMIS.

[3] Alberto Martelli,et al. An Efficient Unification Algorithm , 1982, TOPL.

[4] Alberto Pettorossi,et al. Transformation of Logic Programs: Foundations and Techniques , 1994, J. Log. Program..

[5] Khaled Bsaïes,et al. Spes: A System for Logic Program Transformation , 1992, LPAR.

[6] J. W. C. Koorn,et al. Connecting Semantic Tools to a Syntax-Directed User-Interface , 1992 .

[7] Eelco Visser,et al. Generation of formatters for context-free languages , 1996, TSEM.

[8] Paul Klint. A Meta-Environment for Generating Programming Environments , 1989, Algebraic Methods.

[9] Jan Komorowski,et al. Towards a Programming Methodology Founded on Partial Deduction , 1990, ECAI.

[10] John P. Gallagher,et al. Transforming Logic Programs by Specialising Interpreters , 1986, ECAI.

[11] John Darlington,et al. A Transformation System for Developing Recursive Programs , 1977, J. ACM.