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 4 of 4 for “"Programmtransformation"”.
-
Flexible Computation of the Well-Founded Semantics of Normal Logic Programs
The well-founded semantics has been accepted as the most relevant semantics for logic-based information systems. In this dissertation a framework based on a set of program transformations is presented that generalizes all major computation approaches for the well-founded semantics using a common …
-
Categorical semantics and composition of tree transducers
In this thesis we see two new approaches to compose 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 …
-
Automatisches Differenzieren für MATLAB
The interactive programming environment MATLAB is increasingly gaining popularity by enabling the user to tackle complicated mathematical problems easily. Implicit dynamic typing and a huge set of predefined functions allow rapid development of - not necessarily prototypical - programs. Under a …
-
Automatic differentiation of the CapeML high-level language for process engineering
To perform computer simulations of the modeled phenomena the mathematical description the model needs to be implemented as a computer program, and often the choice of implementation language depends on the simulation environment chosen. This dependency of the programming language and the simulation …