Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "WCFLP"( http://dblp.L3S.de/Venues/WCFLP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/wcflp

Publication years (Num. hits)
2005 (11)
Publication types (Num. hits)
inproceedings(10) proceedings(1)
Venues (Conferences, Journals, ...)
WCFLP(11)
Authors
Germán Vidal(2) Josep Silva(2) Julio Mariño(2) Michael Hanus(2) Bernd Braßel(1) Claudio Ochoa(1) Emilio Jesús Gallego Arias(1) Frank Huch(1) J. Guadalupe Ramos(1) Jesús Manuel Almendros-Jiménez(1) José María Rey Poza(1) Rafael Caballero 0001(1) Rafael del Vado Vírseda(1) Sebastian Fischer 0001(1) Sergio Antoy(1) Sonia Estévez Martín(1)
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
1J. Guadalupe Ramos, Josep Silva, Germán Vidal An offline partial evaluator for curry programs. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF offline partial evaluation, narrowing
1Sergio 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 WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Rafael Caballero 0001 A declarative debugger of incorrect answers for constraint functional-logic programs. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF functional-logic languages, declarative debugging
1Claudio Ochoa, Josep Silva, Germán Vidal Lightweight program specialization via dynamic slicing. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF lazy functional logic programming, program specialization, dynamic slicing
1Sebastian Fischer 0001 A functional logic database library. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF database library, dynamic predicates, curry, persistent storage
1Sonia Estévez Martín, Rafael del Vado Vírseda Designing an efficient computation strategy in CFLP(FD) using definitional trees. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF definitional trees, functional logic languages, constraint logic programming, narrowing, finite domains
1Jesús Manuel Almendros-Jiménez Constraint logic programming over sets of spatial objects. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF logic programming, CLP
1Emilio Jesús Gallego Arias, Julio Mariño An overview of the Sloth2005 curry system: system description. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF constraint definitional trees, sloth, type classes, curry
1Bernd Braßel, Frank Huch Translating curry to haskell system demo. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF compiler, haskell, translation, curry
1Julio Mariño, José María Rey Poza Adding constraints to curry via flat guards. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF definitional trees, sloth, constraints, type classes, curry
1Michael Hanus A generic analysis environment for declarative programs. Search on Bibsonomy WCFLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF program analysis, programming environments, functional logic programming
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license