Science of Computer Programming, Volume 39

Volume 39, Number 1, January 2001

• 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

Volume 39, Number 2-3, March 2001

• 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