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

• Cover Page, Preface, and Table of Contents.
  Electronic Edition (link) BibTeX

Logic Programming plus Constraints

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

Extension of Type Systems for Declarative Languages

• Hans-Joachim Goltz:
  Logic Programming with Constructor-based Type Constraints. 36-45
  Electronic Edition (link) BibTeX
• M. Tarver:
  A Typed Functional Language Based on Sequent Calculus. 46-60
  Electronic Edition (link) BibTeX

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
  Electronic Edition (link) BibTeX
• Didier Bert, Rachid Echahed:
  Integrating Disequations in the Algebraic and Logic Programming Language LPG. 76-93
  Electronic Edition (link) BibTeX
• Georgios Grivas:
  Efficient Integration of Declarative Paradigms into Symbolic Computation Systems. 94-105
  Electronic Edition (link) BibTeX

Declarative Programming plus Concurrency

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