Circular Reasoner: a Package in Mathematica for the Execution of Certain Otherwise Non-terminating Functional Programs

Content Files

chris_osborn_ms_thesis.pdf

Permalink

https://hdl.handle.net/2142/16603

Title: Circular Reasoner: a Package in Mathematica for the Execution of Certain Otherwise Non-terminating Functional Programs
Author(s): Osborn, Christopher Jon
Issue Date: 2010-07-29
Date of Ingest: 2010-07-29T20:56:44Z
Keyword(s): circular reasoner mathematica functional programming
Language: en
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 reﬁnement of a set of initial guesses of ﬁnal 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.
Type of Resource: text
Permalink: http://hdl.handle.net/2142/16603

Dissertations and Theses from the Siebel School of Computer Science