Annotated Type Systems for Program Analysis
Published in DAIMI Report Series • Nov 1, 1995
Authors:
Kirsten Lackner Solberg
Abstract
<p>In this Ph.D. thesis, we study four program analyses. Three of them are specified by annotated type systems and the last one by abstract interpretation.</p><p>We present a combined strictness and totality analysis. We are specifying the analysis as an annotated type system. The type system allows...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!