|
|
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. |
WCFLP |
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 |
WCFLP |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rafael Caballero 0001 |
A declarative debugger of incorrect answers for constraint functional-logic programs. |
WCFLP |
2005 |
DBLP DOI BibTeX RDF |
functional-logic languages, declarative debugging |
1 | Claudio Ochoa, Josep Silva, Germán Vidal |
Lightweight program specialization via dynamic slicing. |
WCFLP |
2005 |
DBLP DOI BibTeX RDF |
lazy functional logic programming, program specialization, dynamic slicing |
1 | Sebastian Fischer 0001 |
A functional logic database library. |
WCFLP |
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. |
WCFLP |
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. |
WCFLP |
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. |
WCFLP |
2005 |
DBLP DOI BibTeX RDF |
constraint definitional trees, sloth, type classes, curry |
1 | Bernd Braßel, Frank Huch |
Translating curry to haskell system demo. |
WCFLP |
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. |
WCFLP |
2005 |
DBLP DOI BibTeX RDF |
definitional trees, sloth, constraints, type classes, curry |
1 | Michael Hanus |
A generic analysis environment for declarative programs. |
WCFLP |
2005 |
DBLP DOI BibTeX RDF |
program analysis, programming environments, functional logic programming |
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|