Files in this item
| Files | Description | Format |
|---|---|---|
|
application/pdf  Osborn_Christopher.pdf (284kB) | (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