Lambda the Ultimate

inactiveTopic The 8th International Static Analysis Symposium
started 2/8/2001; 1:40:41 PM - last post 2/8/2001; 1:40:41 PM
Ehud Lamm - The 8th International Static Analysis Symposium  blueArrow
2/8/2001; 1:40:41 PM (reads: 1483, responses: 0)
The 8th International Static Analysis Symposium
From the CFP:

Static Analysis is increasingly recognised as a fundamental tool for high performance implementations and verification systems of high-level programming languages. The series of Static Analysis Symposia has served as the primary venue for presentation of theoretical, practical and applicative advances in the area

The site lists many specific topics among them: Abstract Compilation, Abstract Debugging and Testing, Abstract Model Checking, Binding-Time Analysis, Boundedness Analysis, Cache-Behavior Analysis, Exception Analysis, Hierarchies of Semantics, Partial Evaluation, Strictness Analysis and Type-Based Analysis.

The site links to previous conferences and proceedings.

And oh, it in Paris!
Posted to theory by Ehud Lamm on 2/8/01; 1:42:14 PM