C
O
C
L
'9
9
Second International Workshop on
Component-based Software Development
in Computational Logic
September 27, 1999 - Paris (France)
Electronic proceedings
Towards Component-based Software Development in Computational Logic
(invited talk)
Kung-Kiu Lau
The Module System of lambda-Prolog and its Realization
(invited talk)
Gopalan Nadathur
Conformance and Refinement of Behavior in pi-calculus
Carlos Canal, Ernesto Pimentel, Jose M. Troya
The Dynamic Composition of Abductive Agents in ALIAS
Anna Ciampolini, Evelina Lamma, Paola Mello and Paolo Torroni
Towards Active Logic Programming
Stefania Costantini
Intra- and Inter-OOD-Framework Interactions in Component-based Software Development in Computational Logic
Juliana Kuester Filipe, Kung-Kiu Lau, Mario Ornaghi, Hirokazu Yatsu
A Logic Programming Framework for Component-Based Software Prototyping
Maurizio Martelli, Viviana Mascardi, Floriano Zini
A Framework for Integrating ALN-Theories with Recursive Definition
Aida Vitoria and Margarida Mamede