Ausgabe 3-5/2002
Inhalt (15 Artikel)
Preface
A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science
DAVID E. RYDEHEARD, DONALD T. SANNELLA
Original Paper
The List Introduction Strategy for the Derivation of Logic Programs
Alberto Pettorossi, Maurizio Proietti
Original Paper
Architectural Specifications in CASL
Michel Bidoit, Donald Sannella, Andrzej Tarlecki
Original Paper
Variations on Algebra: Monadicity and Generalisations of Equational Therories
Edmund Robinson
Original Paper
A New Approach to Abstract Syntax with Variable Binding
Murdoch J. Gabbay, Andrew M. Pitts
Original Paper
Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor
Jon Whittle, Alan Bundy, Richard Boulton