Browsing PhD Theses Collection by Author "Herhut, S."
Now showing items 1-1 of 1
-
Auxiliary Computations: A Framework for a Step-Wise, Non-Disruptive Introduction of Static Guarantees to Untyped Programs Using Partial Evaluation Techniques
Herhut, S. (2010-08-05)Type inference can be considered a form of partial evaluation that only evaluates a program with respect to its type annotations. Building on this key observation, this dissertation presents a uniform framework for expressing ...