Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 6 of 6 for “"functional program"”.
-
Circular Reasoner: A package in Mathematica for the execution of certain otherwise non-terminating functional programs
… 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 …
-
An ideal theater : the Takarazuka Revue Company in Los Angeles
… and of the audience. In addition to solving the functional program, as a social performer the theater seeks to propose new ways to activate the event of theater going. On an urban scale, the theater mediates the points of intersection between diverse communities. The theater thus becomes a …
-
Flying on the Edge of Sea, Land and Sky - A new passenger terminal for the Grand Bahama International Airport
… The plan of the new airport terminal fulfils the functional program while interpreting the land and sea formations of the Bahama islands; ocean currents and land-sea patterns may be associated with movements of people and machines, converging and diverging within the airport environment.
-
Effects Of A Six-Week Functional Training Program On Fitness And Body Composition Of Fire Science Majors
… has shown the effects of fire physical training programs on firefighters, but has not researched fire specific physical training programs for the fire science major population. Purpose: The purpose of this study was to examine the effects of a six-week functional program on fitness and body …
-
The implementation of functional languages on an object-oriented architecture
… of different implementation strategies for functional languages on a novel platform, the Rekursiv, that provides hardware support for an object- oriented language (Lingo) which was used as the implementation language for this work.<br/><br/>The objective is to evaluate the performance of two …
-
Categorical semantics and composition of tree transducers
… tree transducers and more general to fuse functional programs. The first abroach is based on initial algebras. We prove a new variant of the acid rain theorem for mutually recursive functions where the build function is substituted by a concrete functor. Moreover, we give a symmetric form …