Files in this item
Files | Description | Format |
---|---|---|
application/pdf ![]() | (no description provided) |
Description
Title: | Circular Reasoner: A package in Mathematica for the execution of certain otherwise non-terminating functional programs |
Author(s): | Osborn, Christopher J. |
Advisor(s): | Gunter, Elsa L. |
Department / Program: | Computer Science |
Discipline: | Computer Science |
Degree Granting Institution: | University of Illinois at Urbana-Champaign |
Degree: | M.S. |
Genre: | Thesis |
Subject(s): | Mathematica
term rewriting circular reasoner |
Abstract: | We have designed Circular Reasoner, a package in Mathematica for the specification of functional programs using rewrite rules. The package detects certain recursions of a cyclical nature, and through repeated refinement of a set of initial guesses of final values for relevant terms, arrives at a value consistent with the equations used to define the functional program. We discuss this package and its implementation. |
Issue Date: | 2010-08-20 |
URI: | http://hdl.handle.net/2142/16748 |
Rights Information: | Copyright 2010 by Christopher Jon Osborn. All rights reserved. |
Date Available in IDEALS: | 2010-08-20 |
Date Deposited: | 2010-08 |
This item appears in the following Collection(s)
-
Graduate Dissertations and Theses at Illinois
Graduate Theses and Dissertations at Illinois -
Dissertations and Theses - Computer Science
Dissertations and Theses from the Dept. of Computer Science