W. W. Vasconcelos and N. E. Fuchs. Opportunistic Logic Program Analysis and Optimisation: Enhanced Schema-Based Transformations for Logic Programs and their Usage in an Opportunistic Framework for Program Analysis and Optimisation. Tech. Rep. 95.24, IFI, Univ. Zurich, 1995.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....transformation system, refer to Chapter 7) 2.2. 2 Schema based Transformation Approaches Logic program schemas have proven useful in various fields of logic programming: teaching logic programming to novices [25] synthesizing logic programs [52, 17, 19, 22] and also transforming logic programs [20, 24, 57, 58, 27]. The basic ideas for using schemas for synthesizing and transforming programs were introduced first for functional programs, e.g. the transformation schemas for improving recursive functions [32] The strategy based approaches to logic program transformation, which were explained in Section ....

....will result in the most efficient program at the end. The schema based approaches to program transformation, on the other hand, consist of a database of predefined transformations, which are called transformation schemas. There exist different definitions for the notion of transformation schema [57, 27]. However, our definition of a transformation schema in Section 2.1.5 is the most general one, in the sense that it is possible to represent all the transformation schemas in the literature up to now by our definition. Most of the transformation schemas that I am going to explain are represented ....

[Article contains additional citation context not shown here]

W.W. Vasconcelos and N.E. Fuchs. Opportunistic Logic Program Analysis and Optimisation: Enhanced Schema-Based Transformations for Logic Programs and their Usage in an Opportunistic Framework for Program Analysis and Optimisation. Technical Report 95-24. Universitat Zurich, Institut fur Informatik, 1995.

....Britain. Sponsored by the Brazilian Research Council (CNPq) grant n o 300.968 95 7. proposal to deal with such problems. In Section 4 we summarise, draw some conclusions and give directions for future work. 2 Enhanced Schema Based Transformations and their Opportunistic Application In [VF95, VF96a] an opportunistic approach is proposed for performing program analysis and optimisation: opportunities for improving a logic program are systematically attempted, either by examining its procedures in an isolated fashion, or by checking for conjunctions within clauses that can be used as joint ....

....unimportant variations. Ordinary Prolog constructs can be used within program schemata, in which case they are considered as constraints, since they are specific syntactic patterns. A number of other constructs are offered: the formal description of the enhanced schema language is presented in [VF95, VF96a]. Schema based transformations are standard syntactic manipulations of portions of a given program. Such constructs can be seen as rewriting rules consisting of second order program schemas, similar to the work depicted in [HL78] Program schemata are used to depict both input programs and their ....

[Article contains additional citation context not shown here]

W. W. Vasconcelos and N. E. Fuchs. Opportunistic Logic Program Analysis and Optimisation: Enhanced Schema-Based Transformations for Logic Programs and their Usage in an Opportunistic Framework for Program Analysis and Optimisation. Tech. Rep. 95.24, IFI, Univ. Zurich, 1995.

....A10 ,Xs, A11)#N, A12 ) G4, S( A13,Xs#N, A 14 ) G5. Ordinary Prolog constructs can be used within program schemata, in which case they are considered as constraints, since they are specific syntactic patterns. A formal description of the enhanced schema language is presented in [Vasconcelos Fuchs, 95] We use frames around schemata to improve their visualisation. 3 Enhanced Schema Based Transformations of Logic Programs [Fuchs Fromherz, 91] have proposed the notion of schema based program transformations, in which GeggHarrison s schema language is used to characterise an actual context ....

....being a call to procedure P i of Pi, I 1 and I 2 are (possibly empty) finite conjunctions of subgoals not relevant to the analysis, and there is a schema substitution Theta associating components of the program with the schema constructs such that G i Theta = G i and S i Theta = P i . Vasconcelos Fuchs, 95] describe a means to obtain schema substitutions for enhanced schemata. The transformation below formalises, in a generic manner, those opportunities for efficiency improvements in which the same data structure is traversed twice in procedures being invoked: h hS1( A 1 ,L#N, A 2 ) S2( A 3 ....

W. W. Vasconcelos and N. E. Fuchs. OpportunisticLogic Program Analysis and Optimisation: Enhanced Schema-Based Transformations for Logic Programs and their Usage in an Opportunistic Framework for Program Analysis and Optimisation. Technical Report 95-24. Institut fur Informatik, Universitat Zurich, August 1995.

....Though it is executable the formal specification is not necessarily an efficient program. To derive an efficient program the specification is transformed by powerful source to source transformations before it is compiled. A schema based transformation system for logic programs is described in [Vasconcelos Fuchs 95] 3 Graphical views that include transition networks for finite state automata and window oriented user interfaces are presented in [Fuchs Fromherz 94] In this paper we introduce controlled natural language concretely Attempto Controlled English (ACE) as a textual view for writing ....

W. W. Vasconcelos, N. E. Fuchs, Opportunistic Logic Program Analysis and Optimisation -- Enhanced SchemaBased Transformations for Logic Programs and their Usage in an Opportunistic Framework for Program Analysis and Optimisation, Institutsbericht 95.24, Institut für Informatik, Universität Zürich, 1995

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