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