Use this URL to cite or link to this record in EThOS: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.777426
Title: Using Prolog techniques to guide program composition
Author: Vargas-Vera, María S.
Awarding Body: University of Edinburgh
Current Institution: University of Edinburgh
Date of Award: 1995
Availability of Full Text:
Access from EThOS:
Full text unavailable from EThOS. Please try the link below.
Access from Institution:
Abstract:
It is possible to build complex programs by repeated combination of pairs of simpler programs. However, naive combination often produces programs that are far too inefficient. We would like to have a system that would produce the optimal combination of two programs, and also work with minimal supervision by the user. In this thesis we make a significant step towards such an ideal, with the presentation of an interactive system based on program transformation complemented with knowledge of the program development. No single method is known that will combine all programs efficiently and so a variety of different combination methods must be used. However, to get good results it is necessary that the methods have access to knowledge about the program structure. To provide this knowledge we have decided to require that the initial programs be constructed in a spe¬ cialised editor which embodies knowledge of certain standard Prolog practices (techniques) to aid the program construction, but more importantly can record pertinent parts of the program development into a structure called the program history. This program history contains the initial control flow (skeleton) and the techniques that the user applied in the construction of the program. Hence it carries knowledge about the program that would otherwise be very difficult to extract from just the program itself. The first contribution of this thesis is to recognise that knowledge contained in the program history can be used in program transformation, reducing the need for user interaction. The interactive composition system presented can automatically take major decisions, such as the selection of which subgoal should be unfolded or the laws to be applied in order to get a more efficient combined program. Furthermore, a component of our system called the selection procedure can decide automatically which is the most suitable combination method by analysing the characteristics of the initial pair of programs as given by their program histories. Approaches that do not use the program history suffer from the problem that it is not always practical to extract the required information about the structure of the program. Our second contribution is to provide a range of new methods which exploit the program history in order to produce more efficient programs, and to deal with a wider range of combination problems. The new methods not only combine programs with the same control flow, but can also deal with some cases in which the control flows are different. All of these methods are completely automatic with the exception of our "mutant" method in which the combined clause needs to be approved by the user. The third contribution is to present relevant properties in our composition system. These properties fall into the following three groups: (i) properties which hold after applying each combination method, (ii) properties about the type of program which is obtained after the combination, (iii) properties of the join specification which defines the characteristics of the combined program.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.777426  DOI: Not available
Share: