Skip to Main Content
 

Global Search Box

 
 
 
 

Files

File List


case1054583632.pdf (8.13 MB)

ETD Abstract Container

Abstract Header

A workbench for developing logic programs by stepwise enhancement

Lakhotia, Arun
http://rave.ohiolink.edu/etdc/view?acc_num=case1054583632

Abstract Details

1990, Doctor of Philosophy, Case Western Reserve University, Computer Engineering.
Logic programming languages provide a higher level of data and control abstraction compared to procedural languages. The greater abstraction has made visible some new patterns in programs and in the process of their construction. Programs may be conceived of containing a skeleton program that provides its primary flow of control. A program is developed by adding computation around its skeleton without altering the control flow it provides. This is called enhancement and is manifested by the addition of extra arguments and goals in a program. Stepwise enhancement takes advantage of this decomposition of a program into skeleton and enhancements. It is a method of programming that suggests the development of programs by first constructing a skeleton program that provides its main flow of control. The final program is constructed by applying a sequence of enhancements to this skeleton. Further, if the successive enhancements are mutually independent the development of program is forked into independent branches. The resulting programs are composed into one at a later stage. This incremental method of programming provides a new way for separating concerns during programming. It also identifies the need for additional support from a programming environment to aid in the process of constructing programs. The workbench designed in this th esis is equipped with the support necessary for developing logic programs by stepwise enhancement. It provides a mechanical aid to perform enhancements. It also provides tools to compose programs that result from parallel but independent enhancements of the same program. The enhancement and composition tools use program transformation techniques for carrying out the respective operations. This use of program transformations contrasts with their conventional use to improve the efficiency of programs.
Leon Sterling (Advisor)
299 p.
Computer Science
workbench developing logic programs stepwise enhancement

Recommended Citations

Citations

  • Lakhotia, A. (1990). A workbench for developing logic programs by stepwise enhancement [Doctoral dissertation, Case Western Reserve University]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=case1054583632

    APA Style (7th edition)

  • Lakhotia, Arun. A workbench for developing logic programs by stepwise enhancement. 1990. Case Western Reserve University, Doctoral dissertation. OhioLINK Electronic Theses and Dissertations Center, http://rave.ohiolink.edu/etdc/view?acc_num=case1054583632.

    MLA Style (8th edition)

  • Lakhotia, Arun. "A workbench for developing logic programs by stepwise enhancement." Doctoral dissertation, Case Western Reserve University, 1990. http://rave.ohiolink.edu/etdc/view?acc_num=case1054583632

    Chicago Manual of Style (17th edition)

case1054583632
802
© 1990, all rights reserved.
This open access ETD is published by Case Western Reserve University School of Graduate Studies and OhioLINK.