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 BibTeX
• David Lorge Parnas, Jan Madey: Functional Documents for Computer Systems. 41-61 BibTeX
• K. Madhukar, D. Pavan Kumar, C. Pandu Rangan, R. Sundar: Systematic Design of an Algorithm for Biconnected Components. 63-77 BibTeX

Volume 25, Numbers 2-3, December 1995

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