Circular Reasoner: A package in Mathematica for the execution of certain otherwise non-terminating functional programs

Osborn, Christopher J.

Permalink

https://hdl.handle.net/2142/16748 Copy

Description

Title

Circular Reasoner: A package in Mathematica for the execution of certain otherwise non-terminating functional programs

Author(s)

Osborn, Christopher J.

Issue Date

2010-08-20T17:56:40Z

Director of Research (if dissertation) or Advisor (if thesis)

Gunter, Elsa L.

Department of Study

Computer Science

Discipline

Computer Science

Degree Granting Institution

University of Illinois at Urbana-Champaign

Degree Name

M.S.

Degree Level

Thesis

Keyword(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.

Graduation Semester

2010-08

Permalink

http://hdl.handle.net/2142/16748

Copyright and License Information

Copyright 2010 by Christopher Jon Osborn. All rights reserved.

Owning Collections