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)

Your requested file is now available for download. You may start your download by selecting the following link: test