External Links

Journal: Science of Computer Programming

Volume 25, Issue 2-3

79 -- 80Donald Sannella. Foreword: Selected Papers of ESOP 94
81 -- 116Martín Abadi, Luca Cardelli. A Theory of Primitive Objects: Second-Order Systems
117 -- 147James H. Andrews. Foundational Issues in Implementing Constraint Logic Programming Systems
149 -- 186Michel Bidoit, Rolf Hennicker, Martin Wirsing. Behavioural and Abstractor Specifications
187 -- 218Robert Giegerich, Stefan Kurtz. A Comparison of Imperative and Purely Functional Suffix Tree Constructions
219 -- 249Chris Hankin, Daniel Le Métayer. Lazy Type Inference and Program Analysis
251 -- 283C. Barry Jay. A Semantics for Shape
285 -- 327K. V. S. Prasad. A Calculus of Broadcasting Systems

Volume 25, Issue 1

1 -- 39Mark Moir, James H. Anderson. Wait-Free Algorithms for Fast, Long-Lived Renaming
41 -- 61David Lorge Parnas, Jan Madey. Functional Documents for Computer Systems
63 -- 77K. Madhukar, D. Pavan Kumar, C. Pandu Rangan, R. Sundar. Systematic Design of an Algorithm for Biconnected Components
runs on