researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2005
Filter by Tag
[+]
OR
AND
NOT
1
Haskell
Meta-Environment
analysis
constraints
database
debugging
feature-oriented programming
functional programming
generic programming
logic
logic programming
meta programming
meta-model
meta-objects
object-oriented programming
partial evaluation
program analysis
programming
slicing
subject-oriented programming
Filter by Author
OR
AND
NOT
1
Bernd Braßel
Claudio Ochoa
Emilio Jesús Gallego Arias
Frank Huch
Germán Vidal
J. Guadalupe Ramos
Jesús Manuel Almendros-Jiménez
Josep Silva
José María Rey Poza
Julio Mariño
Michael Hanus
Rafael Caballero
Rafael del Vado Vírseda
Sebastian Fischer
Sonia Estévez Martín
Filter by Top terms
[+]
OR
AND
NOT
1
2005
29
acm
adding
analysis
answers
cflp
computation
constraint
constraints
curry
database
debugger
declarative
functional
logic
programming
programs
system
via
WCFLP (wcflp)
Editions
Publications
Viewing Publication 1 - 11 from 11
2005
Constraint logic programming over sets of spatial objects
Jesús Manuel Almendros-Jiménez
.
wcflp 2005
:
32-42
[doi]
Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005
Sergio Antoy
,
Michael Hanus
, editors,
ACM,
2005.
An overview of the Sloth2005 curry system: system description
Emilio Jesús Gallego Arias
,
Julio Mariño
.
wcflp 2005
:
66-69
[doi]
Translating curry to haskell system demo
Bernd Braßel
,
Frank Huch
.
wcflp 2005
:
60-65
[doi]
A declarative debugger of incorrect answers for constraint functional-logic programs
Rafael Caballero
.
wcflp 2005
:
8-13
[doi]
A functional logic database library
Sebastian Fischer
.
wcflp 2005
:
54-59
[doi]
A generic analysis environment for declarative programs
Michael Hanus
.
wcflp 2005
:
43-48
[doi]
Adding constraints to curry via flat guards
Julio Mariño
,
José María Rey Poza
.
wcflp 2005
:
14-22
[doi]
Designing an efficient computation strategy in ::::CFLP(FD):::: using definitional trees
Sonia Estévez Martín
,
Rafael del Vado Vírseda
.
wcflp 2005
:
23-31
[doi]
Lightweight program specialization via dynamic slicing
Claudio Ochoa
,
Josep Silva
,
Germán Vidal
.
wcflp 2005
:
1-7
[doi]
An offline partial evaluator for curry programs
J. Guadalupe Ramos
,
Josep Silva
,
Germán Vidal
.
wcflp 2005
:
49-53
[doi]
Sign in
or
sign up
to see more results.