Lambda the Ultimate

inactiveTopic Type-Based Analysis and Applications
started 6/10/2001; 8:05:16 AM - last post 6/10/2001; 8:05:16 AM
Ehud Lamm - Type-Based Analysis and Applications  blueArrow
6/10/2001; 8:05:16 AM (reads: 1430, responses: 0)
Type-Based Analysis and Applications
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 website is a resource for researchers of type-based analysis. It contains links to papers in the area, including a short survey paper. The survey 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.

The page lists quite a few links, all pointing to interesting papers. The survey paper itself provides a good introduction to the field.

Posted to theory by Ehud Lamm on 6/10/01; 8:05:53 AM