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

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

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Report

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

MPS-Authors

Aït-Kaci, Hassan
Programming Logics, MPI for Informatics, Max Planck Society;

/persons/resource/persons44582

Hanus, Michael
Programming Logics, MPI for Informatics, Max Planck Society;

Navarro, Juan José Moreno
Programming Logics, MPI for Informatics, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

MPI-I-94-224.pdf
(Any fulltext), 174MB

Supplementary Material (public)

There is no public supplementary material available

Citation

Aït-Kaci, H., Hanus, M., & Navarro, J. J. M.(1994). Integration of declarative paradigms: Proceedings of the ICLP'94 Post-Conference Workshop, Santa Margherita Ligure, Italy (MPI-I-94-224). Saarbrücken: Max-Planck-Institut für Informatik.

Cite as: https://hdl.handle.net/11858/00-001M-0000-0014-B7AB-E

Abstract

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.