Descripción
|
|
---|---|
The approach to program validation and verification by means of static/dynamic checking of the user-provided annotations (assertions) has received significant interest in recent years. However, in the domain of (Constraint) Logic Programming assertion-based approach lacks support for the higher-order constructs, which are extremely useful in practice. In our work we bridge this gap by providing syntactical and semantical extensions for the assertion language adopted in several most popular Prolog implementations. | |
Internacional
|
Si |
Nombre congreso
|
ACM-W Europe womENcourage Celebration of Women in Computing |
Tipo de participación
|
970 |
Lugar del congreso
|
Uppsala University, Sweden |
Revisores
|
Si |
ISBN o ISSN
|
|
DOI
|
|
Fecha inicio congreso
|
24/09/2015 |
Fecha fin congreso
|
26/09/2015 |
Desde la página
|
|
Hasta la página
|
|
Título de las actas
|