Files in this item



application/pdfchris_osborn_ms_thesis.pdf (284kB)
M.S. thesisPDF


Title:Circular Reasoner: a Package in Mathematica for the Execution of Certain Otherwise Non-terminating Functional Programs
Author(s):Osborn, Christopher Jon
Contributor(s):Gunter, Elsa L.
Subject(s):circular reasoner mathematica functional programming
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-07-29
Genre:Dissertation / Thesis
Publication Status:unpublished
Date Available in IDEALS:2010-07-29

This item appears in the following Collection(s)

Item Statistics