Science of Computer Programming, Volume 39

Volume 39, Number 1, January 2001

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

Volume 39, Number 2-3, March 2001

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