First International Workshop on

Component-based Software Development 
in Computational Logic (COCL)

Saturday, September 19, 1998 - Pisa (Italy)

Workshop programme

09:00 Invited talk
Developing a Higher Order Programming Style for Prolog  
Lee Naish
SESSION 1 Composing and synthesizing software
10:00 On Specification and Correctness of OO Frameworks in Computational Logic 
K.K Lau, M. Ornaghi
10:30 Coffee
11:00 Composing complete and partial knowledge 
S. Verbaeten, A. Bossi
SESSION 2 Interactive systems and distribution
11:30 Towards a Game-based Architecture for developing Complex Interactive Components in Computational Logic 
K. Stathis
12:00 Distribution in a Demand Driven Style 
J. Holyer, N. Davies, E. Spiliopoulou
12:30 Lunch
SESSION 3 Abstract data types
14:30 Invited talk
Functional Logic Programming with Multiset Constraints 
Mario Rodriguez-Artalejo
15:30 Logic Abstract Modules: A new TLA-based model to Specifying and Verifying Concurrent Programs 
Y. Slimani, E.H. Daho
16:00 Coffee
SESSION 4 Reusability
16:30 Using a Modular Distributed Temporal Logic for In-the-large Object Specification 
J. Kuester Filipe
17:00 A functional-logic alternative to monads 
R. Caballero Roldan and F. J. Lopez Fraguas
17:30 Composing reusable synthesis methods through graph-based viewpoints 
J. Eusterbrock

Back to COCL home page