Files in this item

FilesDescriptionFormat

application/pdf

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

Description

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
Type:Text
Language:English
URI:http://hdl.handle.net/2142/16603
Publication Status:unpublished
Date Available in IDEALS:2010-07-29


This item appears in the following Collection(s)

Item Statistics