A. Brogi and P. Hill (editors)
LOGIC-BASED COMPOSITION
OF SOFTWARE (LOCOS'97)
Electronic proceedings of
the ICLP'97 Post Conference Workshop
Leuven, Belgium, July 11th, 1997
Antonio Brogi, Patricia M. Hill
Preface
Sofie Verbaeten, Marc Denecker, Danny de Schreye
Compositionality of Normal Open Logic Programs
Patricia M. Hill
A Module System for Systematic Software Development: Design and Implementation
Antonio Brogi, Chiara Renso, Franco Turini
Dynamic Composition of Parameterised Logic Programs
Ralf Laemmel
Composition based on Meta-Programming
Kung-Kiu Lau, Mario Ornaghi
Modules, Reuse and Correctness
M. Diaz, B. Rubio, J.M. Troya
A Logic-Based Coordination Model