Descripción
|
|
---|---|
Proponemos una semántica operacional para programas lógico funcionales perezosos con restricciones que es genérica en tanto que permite la integración de diferentes resolvedores de restricciones en un núcleo común de una manera bastante limpia. El diseño de esta semántica trata de satisfacer dos principios aparentemente contradictorios: la necesidad de dar soporte a la evaluación perezosa desde el resolvedor de restricciones y el principio de caja negra aplicado al diseño de la relación entre el resolvedor y el motor de inferencia. | |
Internacional
|
Si |
Nombre congreso
|
16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007) |
Tipo de participación
|
960 |
Lugar del congreso
|
París, Francia |
Revisores
|
Si |
ISBN o ISSN
|
Preprints publicadas |
DOI
|
|
Fecha inicio congreso
|
25/06/2007 |
Fecha fin congreso
|
25/06/2007 |
Desde la página
|
|
Hasta la página
|
|
Título de las actas
|