University of Illinois Urbana-Champaign

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

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

Graduate Dissertations and Theses at Illinois PRIMARY
Graduate Theses and Dissertations at Illinois
Dissertations and Theses - Computer Science
Dissertations and Theses from the Dept. of Computer Science