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
• Malte Plath, Mark Ryan: Feature integration using a feature construct. 53-84
• 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

Volume 41, Number 2, October 2001

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

Volume 41, Number 3, November 2001

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