Skip to Main Content
 

Global Search Box

 
 
 
 

Files

File List


case1055357832.pdf (4.26 MB)

ETD Abstract Container

Abstract Header

An integration of logic and functional programming paradigms: Type theory and meta-narrowing

Lin, Fuyau
http://rave.ohiolink.edu/etdc/view?acc_num=case1055357832

Abstract Details

1991, Doctor of Philosophy, Case Western Reserve University, Computer Engineering.
Programmers involved in software designs, frequently feel the need of the co-existence and collaboration of different description notations, e.g., predicate logic and functions. The aim of this thesis is the design and the realization of a programming language in which a functional language and Horn clauses are integrated in a single framework. The central idea of our approach is to use typed lambda-calculus and meta-narrowing. Meta-narrowing is based on the flat SLD-resolution. The implementation of our system is to be considered an experimental tool, named LL. This language extends logic language by adding the function capability and types and replacing the heart of the unification process by narrowing. This thesis presents the descriptions of this language and illustrates its capabilities. We also summarize the diverse approaches that suggest their integrations at different levels.
Frances Hunt (Advisor)
183 p.
Computer Science
logic functional programming paradigms

Recommended Citations

Citations

  • Lin, F. (1991). An integration of logic and functional programming paradigms: Type theory and meta-narrowing [Doctoral dissertation, Case Western Reserve University]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=case1055357832

    APA Style (7th edition)

  • Lin, Fuyau. An integration of logic and functional programming paradigms: Type theory and meta-narrowing. 1991. Case Western Reserve University, Doctoral dissertation. OhioLINK Electronic Theses and Dissertations Center, http://rave.ohiolink.edu/etdc/view?acc_num=case1055357832.

    MLA Style (8th edition)

  • Lin, Fuyau. "An integration of logic and functional programming paradigms: Type theory and meta-narrowing." Doctoral dissertation, Case Western Reserve University, 1991. http://rave.ohiolink.edu/etdc/view?acc_num=case1055357832

    Chicago Manual of Style (17th edition)

case1055357832
413
© 1991, all rights reserved.
This open access ETD is published by Case Western Reserve University School of Graduate Studies and OhioLINK.