The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge

Research Paper #635

Title:Building Large-Scale Prolog Programs Using a Techniques Editing System
Authors:Vargas-Vera,M; Vasconcelos,W; Robertson,DS
Date:Apr 1993
Presented:Submitted to ILPS'93
Keywords:environmental support, meta and higher-order programming, programming methodologies
Abstract:We describe an integrated environment which addresses three distinct aspects of Large-Scale Prolog Programs: the formalization of the programming practices one should use in order to build reliable and maintainable programs, the computer-aided use of these practices to develop programs, and the combination of these programs into more sophisticated and efficient programs. We also propose the use of program histories (i.e., the information of how programs were developed using a techniques-based editor) to improve the process of program combination.

[Search These Pages] [DAI Home Page] [Comment]