MPI-INF Logo
MPI-INF/SWS Research Reports 1991-2017

2. Number - only D2

MPI-I-94-224

Integration of declarative paradigms: Proceedings of the ICLP'94 Post-Conference Workshop, Santa Margherita Ligure, Italy

Aït-Kaci, Hassan and Hanus, Michael and Navarro, Juan José Moreno

June 1994, 149 pages.

.
Status: available - back from printing

Since the initial efforts in reconciling the styles of functional programming and logic programming, there has been significant work done regarding efficient implementation. Also, new declarative paradigms, such as constraint-based or object-based, have now emerged, asking naturally to be conjugated and exploited along with other such programming techniques. As a result, interest in the integration of declarative paradigms has been spurred anew. This workshop aims at bringing together researchers from different communities as well as giving the logic programming audience an idea of recent advances. Topics are: language features, semantics, execution principles, implementation issues, constraints, types, functions, and concurrency.

  • cover.pspaper01.pspaper02.pspaper03.pspaper04.pspaper05.pspaper06.pspaper07.pspaper08.pspaper09.pspaper10.pspaper11.ps
  • Attachement: cover.ps (95 KBytes); paper01.ps (89 KBytes); paper02.ps (193 KBytes); paper03.ps (169 KBytes); paper04.ps (181 KBytes); paper05.ps (191 KBytes); paper06.ps (160 KBytes); paper07.ps (313 KBytes); paper08.ps (91 KBytes); paper09.ps (1093 KBytes); paper10.ps (200 KBytes); paper11.ps (275 KBytes)

URL to this document: http://domino.mpi-inf.mpg.de/internet/reports.nsf/NumberView/1994-224

Hide details for BibTeXBibTeX
@TECHREPORT{AitKaciHanusMorenoNavarro-94-mpii224,
  AUTHOR = {Aït-Kaci, Hassan and Hanus, Michael and Navarro, Juan Jos{\'e} Moreno},
  TITLE = {Integration of declarative paradigms: Proceedings of the {ICLP}'94 Post-Conference Workshop, Santa Margherita Ligure, Italy},
  TYPE = {Research Report},
  INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik},
  ADDRESS = {Im Stadtwald, D-66123 Saarbr{\"u}cken, Germany},
  NUMBER = {MPI-I-94-224},
  MONTH = {June},
  YEAR = {1994},
  ISSN = {0946-011X},
}