Loading...
Please wait, while we are loading the content...
Similar Documents
A Logical Framework for Program Analysis (1992)
| Content Provider | CiteSeerX |
|---|---|
| Author | Burn, Geoffrey |
| Description | Using logics to express program properties, and deduction systems for proving properties of programs, gives a very elegant way of defining program analysis techniques. This paper addresses a shortcoming of previous work in the area by establishing a more general framework for such logics, as is commonly done for progam analysis using abstract interpretation. Moreover, there are natural extensions of this work which deal with polymorphic languages. 1 Introduction Kuo and Mishra gave a `type' deduction system for proving strictness properties of programs, and gave a type inference (sometimes called type reconstruction) algorithm for determining these strictness types [10]. The algorithm was proved correct by showing that the types deduced by it were true in an operational model of the language. They observed that their algorithm was not as powerful as one based on the strictness abstract interpretation of [4], and it appeared to be because their type system lacked intersection types. Bo... |
| File Format | |
| Language | English |
| Publisher Date | 1992-01-01 |
| Publisher Institution | Proceedings of the 1992 Glasgow Functional Programming Workshop |
| Access Restriction | Open |
| Subject Keyword | Type Reconstruction Previous Work Strictness Abstract Interpretation Type System General Framework Introduction Kuo Strictness Property Program Analysis Technique Abstract Interpretation Elegant Way Intersection Type Deduction System Program Analysis Polymorphic Language Progam Analysis Logical Framework Type Inference Natural Extension Program Property Operational Model Strictness Type |
| Content Type | Text |
| Resource Type | Article |
