SCS Undergraduate Thesis Topics
|Matthew Mirman||Frank Pfenning||Mode Checking for Lazy Functional Logic Programming|
Functional logical programming is a paradigm that introduces predicate satisfaction as a first class construct into the functional setting. Given the difficulty of reasoning about the time complexity of logical code, lazy evaluation is desirable. In consolidating logical and functional semantics, a complete logical query primitive is necessary. In the non strict and breadth first evaluation strategy, it is possible to return unground logical variables. Such results are meaningless in the context of determinism. Given the semantics for a practical lazy functional logical language, we attempt to supply a flexible type and mode system in order to ensure progress.