Science of Computer Programming

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

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