de.mpg.escidoc.pubman.appbase.FacesBean
English
 
Help Guide Disclaimer Contact us Login
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

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;

http://pubman.mpdl.mpg.de/cone/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;

Locator
There are no locators available
Fulltext (public)
There are no public fulltexts available
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: http://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.