|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 23 occurrences of 18 keywords
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | J. Guadalupe Ramos, Josep Silva, Germán Vidal |
An offline partial evaluator for curry programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCFLP ![In: Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005, pp. 49-53, 2005, ACM, 1-59593-069-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
offline partial evaluation, narrowing |
1 | Sergio Antoy, Michael Hanus (eds.) |
Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCFLP ![ACM, 1-59593-069-8 The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Caballero 0001 |
A declarative debugger of incorrect answers for constraint functional-logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCFLP ![In: Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005, pp. 8-13, 2005, ACM, 1-59593-069-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
functional-logic languages, declarative debugging |
1 | Claudio Ochoa, Josep Silva, Germán Vidal |
Lightweight program specialization via dynamic slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCFLP ![In: Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005, pp. 1-7, 2005, ACM, 1-59593-069-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
lazy functional logic programming, program specialization, dynamic slicing |
1 | Sebastian Fischer 0001 |
A functional logic database library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCFLP ![In: Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005, pp. 54-59, 2005, ACM, 1-59593-069-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
database library, dynamic predicates, curry, persistent storage |
1 | Sonia Estévez Martín, Rafael del Vado Vírseda |
Designing an efficient computation strategy in CFLP(FD) using definitional trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCFLP ![In: Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005, pp. 23-31, 2005, ACM, 1-59593-069-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
definitional trees, functional logic languages, constraint logic programming, narrowing, finite domains |
1 | Jesús Manuel Almendros-Jiménez |
Constraint logic programming over sets of spatial objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCFLP ![In: Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005, pp. 32-42, 2005, ACM, 1-59593-069-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
logic programming, CLP |
1 | Emilio Jesús Gallego Arias, Julio Mariño |
An overview of the Sloth2005 curry system: system description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCFLP ![In: Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005, pp. 66-69, 2005, ACM, 1-59593-069-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
constraint definitional trees, sloth, type classes, curry |
1 | Bernd Braßel, Frank Huch |
Translating curry to haskell system demo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCFLP ![In: Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005, pp. 60-65, 2005, ACM, 1-59593-069-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
compiler, haskell, translation, curry |
1 | Julio Mariño, José María Rey Poza |
Adding constraints to curry via flat guards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCFLP ![In: Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005, pp. 14-22, 2005, ACM, 1-59593-069-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
definitional trees, sloth, constraints, type classes, curry |
1 | Michael Hanus |
A generic analysis environment for declarative programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCFLP ![In: Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005, pp. 43-48, 2005, ACM, 1-59593-069-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
program analysis, programming environments, functional logic programming |
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|