Previous [1] [2] [3] [4] [5] [6] [7] [8]

Journal of Inforamtion Science and Engineering, Vol.10 No.4, pp.495-526 (December 1994)
SPEC: A Specification Processing Environment
with Controls

Timothy K. Shih and Ruth E. Davis
Computer Engineering Department
Santa Clara University
Santa Clara, CA 95053, U.S.A.

The SPEC (Specification Processing Environment with Controls) project is a logic programming environment currently being developed at Santa Clara University. We give a brief overview of the system to develop reliable, efficient, and maintainable logic programs. A specification language with high level language constructs and execution control facilities is described. The system supports the separation of declarative and control specifications, enabling one to generate different implementations of the declarative specification by changing the control strategy. The user's specification can be translated into a Prolog-like program that can be executed under an interpreter in our system, or compiled to a standard Prolog program. The specification language, program translation techniques, and an interpreter handles a number of control facilities are developed for the system and discussed in this paper.

Keywords: logic programming, prolog, specification, program generation, execution controls

Received February 3, 1993; revised July 8, 1994.
Communicated by Wen-Hsiang Tsai.