University of Hertfordshire

Auxiliary Computations: A Framework for a Step-Wise, Non-Disruptive Introduction of Static Guarantees to Untyped Programs Using Partial Evaluation Techniques

University of Hertfordshire Research Archive

Help | UH Research Archive

This item appears in the following Collection(s)