First International Workshop on

Component-based Software Development 
in Computational Logic (COCL)

Saturday, September 19, 1998 - Pisa (Italy)

---

Electronic proceedings

• Preface

A. Brogi, P. Hill
• A functional-logic alternative to monads

R. Caballero-Roldan, F.J. Lopez-Fraguas
• Composing reusable synthesis methods through graph-based viewpoints

J. Eusterbrock
• Distribution in a demand driven style

J. Holyer, N. Davies, E. Spiliopoulou
• Using a modular distributed temporal logic for in-the-large object specification

J. Kuster Filipe
• On specification and correctness of OOD frameworks in computational logic

K.-K. Lau, M. Ornaghi
• Logic abstract modules: A new TLA-based model for specifying and verifying concurrent programs

Y. Slimani, E.H. Daho
• Towards a game-based architecture for developing complex interactive components in computational logic

K. Stathis
• Composing complete and partial knowledge

S. Verbaeten, A. Bossi

---