Loading...
Please wait, while we are loading the content...
Type-Based Analysis and Applications (2001)
| Content Provider | CiteSeerX |
|---|---|
| Author | Palsberg, Jens |
| Description | Type-based analysis is an approach to static analysis of programs that has been studied for more than a decade. A type-based analysis assumes that the program type checks, and the analysis takes advantage of that. This paper examines the state of the art of type-based analysis, and it surveys some of the many software tools that use type-based analysis. Most of the surveyed tools use types as discriminators, while most of the theoretical studies use type and effect systems. We conclude that type-based analysis is a promising approach to achieving both provable correctness and good performance with a reasonable effort. In PASTE |
| File Format | |
| Language | English |
| Publisher | ACM Press |
| Publisher Date | 2001-01-01 |
| Access Restriction | Open |
| Subject Keyword | Reasonable Effort Promising Approach Theoretical Study Effect System Provable Correctness Surveyed Tool Program Type Check Type-based Analysis Good Performance Static Analysis Many Software Tool |
| Content Type | Text |
| Resource Type | Article |
