Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th ICLP 1994, Workshop W8: Integration of Declarative Paradigms
- 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 - 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-
a service of 
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.
last updated on 2024-04-18 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
