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.
|
Download: | NO ONLINE COPY
|