Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWCFLP 2005: Tallinn, Estonia
- Sergio Antoy, Michael Hanus:
Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005. ACM 2005, ISBN 1-59593-069-8
Session 1
- Claudio Ochoa, Josep Silva
, Germán Vidal:
Lightweight program specialization via dynamic slicing. 1-7 - Rafael Caballero:
A declarative debugger of incorrect answers for constraint functional-logic programs. 8-13
Session 2
- Julio Mariño, José María Rey Poza:
Adding constraints to curry via flat guards. 14-22 - Sonia Estévez Martín, Rafael del Vado Vírseda:
Designing an efficient computation strategy in CFLP(FD) using definitional trees. 23-31 - Jesús Manuel Almendros-Jiménez:
Constraint logic programming over sets of spatial objects. 32-42
Session 3
- Michael Hanus:
A generic analysis environment for declarative programs. 43-48 - J. Guadalupe Ramos, Josep Silva, Germán Vidal:
An offline partial evaluator for curry programs. 49-53 - Sebastian Fischer:
A functional logic database library. 54-59
Session 4
- Bernd Braßel, Frank Huch:
Translating curry to haskell system demo. 60-65 - Emilio Jesús Gallego Arias, Julio Mariño:
An overview of the Sloth2005 curry system: system description. 66-69
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-05-08 21:59 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:
