March 27, 2007
Abstract Interpretation
There are quite a number of interesting domains and techniques outlined on Antoine Mine's page. Well worth keeping track of.
Posted by Carette at 08:50 PM | Comments (0)
June 14, 2005
Dependent Types and Cobol
Who would've thunk? Someone out there is using dependent types to understand Cobol programs, via type inference no less!
On the other hand, this may have some relevance to Coconut.
Posted by Carette at 02:07 PM | Comments (1)
May 30, 2005
Type-Based Analysis
A good bibliography of material on type-based analyses, including flow-types, effect systems, etc.
Posted by Carette at 10:58 PM | Comments (0)
May 13, 2005
Symbolic analysis of programs
A good systematic treatment, if somewhat older, of many issues in program comprehension via symbolic analysis "Symbolic Exectution as a tool for validation of specifications", Ralk Kneuper.
Posted by Carette at 11:19 AM | Comments (0)
May 11, 2005
Abstract Interpretation
The work of Cousot on Abstract Interpretation clearly shows a lot of promise for program analysis. The latest work on using parametric abstraction and langragians is particularly intriguing. There is a course at MIT that looks like quite a complete introduction.
Posted by Carette at 02:10 PM | Comments (0)