Science of Computer Programming

1	--	0	Giorgio Levi. Preface
3	--	29	Oliver Rüthing. Code motion in the presence of critical edges without bidirectional data flow analysis
31	--	55	Michael Hind, Anthony Pioli. Evaluating the effectiveness of pointer alias analyses
57	--	92	Dominic Duggan. Finite subtype inference with explicit polymorphism
93	--	123	Francesca Levi. A symbolic semantics for abstract model checking
125	--	148	Paolo Volpe. A first-order language for expressing sharing and type properties of logic programs

External Links