Science of Computer Programming, Volume 41

Volume 41, Number 1, September 2001

• David A. Naumann: Predicate transformer semantics of a higher-order imperative language with record subtyping. 1-51 BibTeX
• Malte Plath, Mark Ryan: Feature integration using a feature construct. 53-84 BibTeX
• Hervé Marchand, Éric Rutten, Michel Le Borgne, Mazen Samaan: Formal verification of programs specified with signal: application to a power transformer station controller. 85-104 BibTeX

Volume 41, Number 2, October 2001

• Carlos Canal, Ernesto Pimentel, José M. Troya: Compatibility and inheritance in software architectures. 105-138 BibTeX
• Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum: Strengthening invariants for efficient computation. 139-172 BibTeX
• Wim H. Hesselink, Arnold Meijster, Coenraad Bron: Concurrent determination of connected components. 173-194 BibTeX

Volume 41, Number 3, November 2001

• Hanna Klaudel: Compositional high-level Petri net semantics of a parallel programming language with procedures. 195-240 BibTeX
• Matthew Hennessy, H. Lin, Julian Rathke: Unique fixpoint induction for message-passing process calculi. 241-275 BibTeX
• Andrea Omicini, Enrico Denti: From tuple spaces to tuple centres. 277-294 BibTeX