Files in this item



application/pdfOsborn_Christopher.pdf (284kB)
(no description provided)PDF


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
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
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)

Item Statistics