Science of Computer Programming, Volume 39

Volume 39, Number 1, January 2001

Static Program Analysis (SAS'98)

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

Loe M. G. Feijs: Mechanisms for naming - An algebraic approach with an application to Java. 149-188 BibTeX
Ryszard Janicki, Ridha Khédri: On a formal semantics of tabular expressions. 189-213 BibTeX
Jan Friso Groote, Jos van Wamel: Analysis of three hybrid systems in timed µCRL. 215-247 BibTeX
Luc Moreau: Distributed directory service and message routing for mobile agents. 249-272 BibTeX