default search action

combined dblp search
author search
venue search
publication search

ask others

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

> Home > Conferences and Workshops > ICLP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iclp/1994w8
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/1994w8
Hassan Aït-Kaci, Michael Hanus, Juan José Moreno-Navarro:
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. Max-Planck-Institut für Informatik, Saarbrücken, Germany 1994
- view
  - electronic edition @ rwth-aachen.de
  - details & citations
- export record
  dblp key:
  - conf/iclp/X94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/X94
Cover Page, Preface, and Table of Contents.

Logic Programming plus Constraints

- view
  - electronic edition @ rwth-aachen.de
  - details & citations
- export record
  dblp key:
  - conf/iclp/RigottiHB94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/RigottiHB94
Christophe Rigotti, Mohand-Said Hacid, Jean-François Boulicaut:
F-Logic Programming and Terminological Constraints. 1-11
- view
  - electronic edition @ rwth-aachen.de
  - details & citations
- export record
  dblp key:
  - conf/iclp/AbeckerW94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/AbeckerW94
Andreas Abecker, Holger Wache:
A Layer Architecture for the Integration of Rules, Inheritance, and Constraints. 12-22
- view
  - electronic edition @ rwth-aachen.de
  - details & citations
- export record
  dblp key:
  - conf/iclp/MarriottS94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/MarriottS94
Kim Marriott, Peter J. Stuckey:
Semantics of Constraint Logic Programs with Optimization. 23-35

Extension of Type Systems for Declarative Languages

- view
  - electronic edition @ rwth-aachen.de
  - details & citations
- export record
  dblp key:
  - conf/iclp/Goltz94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Goltz94
Hans-Joachim Goltz:
Logic Programming with Constructor-based Type Constraints. 36-45
- view
  - electronic edition @ rwth-aachen.de
  - details & citations
- export record
  dblp key:
  - conf/iclp/Tarver94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Tarver94
M. Tarver:
A Typed Functional Language Based on Sequent Calculus. 46-60

Implementation of Integrated Languages

- view
  - electronic edition @ rwth-aachen.de
  - details & citations
- export record
  dblp key:
  - conf/iclp/ChakravartyL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/ChakravartyL94
Manuel M. T. Chakravarty, Hendrik C. R. Lock:
The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms. 61-75
- view
  - electronic edition @ rwth-aachen.de
  - details & citations
- export record
  dblp key:
  - conf/iclp/BertE94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/BertE94
Didier Bert, Rachid Echahed:
Integrating Disequations in the Algebraic and Logic Programming Language LPG. 76-93
- view
  - electronic edition @ rwth-aachen.de
  - details & citations
- export record
  dblp key:
  - conf/iclp/Grivas94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Grivas94
Georgios Grivas:
Efficient Integration of Declarative Paradigms into Symbolic Computation Systems. 94-105

Declarative Programming plus Concurrency

- view
  - electronic edition @ rwth-aachen.de
  - details & citations
- export record
  dblp key:
  - conf/iclp/DiazRT94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/DiazRT94
Manuel Díaz, Bartolomé Rubio, José M. Troya:
Implementation Issues of a Distributed Real-Time Logic Language. 106-119
- view
  - electronic edition @ rwth-aachen.de
  - details & citations
- export record
  dblp key:
  - conf/iclp/AriolaMST94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/AriolaMST94
Zena M. Ariola, Barton C. Massey, M. Sami, Evan Tick:
Compilation of Concurrent Declarative Languages. 120-134
- view
  - electronic edition @ rwth-aachen.de
  - details & citations
- export record
  dblp key:
  - conf/iclp/CzajkowskiUZ94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/CzajkowskiUZ94
Grzegorz Czajkowski, Andrzej Uszok, Krzysztof Zielinski:
Distributed Declarative Systems as Parts of Cooperating Software Environments. 135-

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.