11. ICLP 1994, Workshop W8: Integration of Declarative Paradigms

Hassan Aït-Kaci, Michael Hanus, Juan José Moreno-Navarro (Eds.): Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference Workshop. Max-Planck-Institut für Informatik, Saarbrücken, Germany, Report MPI-94-224, June 1994

Cover Page, Preface, and Table of Contents.

Logic Programming plus Constraints

Christophe Rigotti, Mohand-Said Hacid, Jean-François Boulicaut:
F-Logic Programming and Terminological Constraints. 1-11
Andreas Abecker, Holger Wache:
A Layer Architecture for the Integration of Rules, Inheritance, and Constraints. 12-22
Kim Marriott, Peter J. Stuckey:
Semantics of Constraint Logic Programs with Optimization. 23-35

Extension of Type Systems for Declarative Languages

Hans-Joachim Goltz:
Logic Programming with Constructor-based Type Constraints. 36-45
M. Tarver:
A Typed Functional Language Based on Sequent Calculus. 46-60

Implementation of Integrated Languages

Manuel M. T. Chakravarty, Hendrik C. R. Lock:
The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms. 61-75
Didier Bert, Rachid Echahed:
Integrating Disequations in the Algebraic and Logic Programming Language LPG. 76-93
Georgios Grivas:
Efficient Integration of Declarative Paradigms into Symbolic Computation Systems. 94-105

Declarative Programming plus Concurrency

Manuel Díaz, Bartolomé Rubio, José M. Troya:
Implementation Issues of a Distributed Real-Time Logic Language. 106-119
Zena M. Ariola, Barton C. Massey, M. Sami, Evan Tick:
Compilation of Concurrent Declarative Languages. 120-134
Grzegorz Czajkowski, Andrzej Uszok, Krzysztof Zielinski:
Distributed Declarative Systems as Parts of Cooperating Software Environments. 135-

Last update Sat May 18 14:33:24 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page