Science of Computer Programming, Volume 25

Volume 25, Number 1, October 1995

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

Volume 25, Numbers 2-3, December 1995

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