Open Access. Powered by Scholars. Published by Universities.®
Programming Languages and Compilers Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Keyword
Articles 1 - 2 of 2
Full-Text Articles in Programming Languages and Compilers
A Computational Paradigm On Network-Based Models Of Computation, Venkatavasu Bokka
A Computational Paradigm On Network-Based Models Of Computation, Venkatavasu Bokka
Computer Science Theses & Dissertations
The maturation of computer science has strengthened the need to consolidate isolated algorithms and techniques into general computational paradigms. The main goal of this dissertation is to provide a unifying framework which captures the essence of a number of problems in seemingly unrelated contexts in database design, pattern recognition, image processing, VLSI design, computer vision, and robot navigation. The main contribution of this work is to provide a computational paradigm which involves the unifying framework, referred to as the multiple Query problem, along with a generic solution to the Multiple Query problem.
To demonstrate the applicability of the paradigm, a …
Compiling Evaluable Functions In The GöDel Programming Language, David Shapiro
Compiling Evaluable Functions In The GöDel Programming Language, David Shapiro
Dissertations and Theses
We present an extension of the Gödel logic programming language code generator which compiles user-defined functions. These functions may be used as arguments in predicate or goal clauses. They are defined in extended Gödel as rewrite rules. A translation scheme is introduced to convert function definitions into predicate clauses for compilation. This translation scheme and the compilation of functional arguments both employ leftmost-innermost narrowing. As function declarations are indistinguishable from constructor declarations, a function detection method is implemented.
The ultimate goal of this research is the implementation of extended Gödel using needed narrowing. The work presented here is …