Memorias de investigación
Communications at congresses:
Higher-order Runtime Verification Challenges in (Constraint) Logic Programming
Year:2015

Research Areas
  • Information technology and adata processing

Information
Abstract
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.
International
Si
Congress
ACM-W Europe womENcourage Celebration of Women in Computing
970
Place
Uppsala University, Sweden
Reviewers
Si
ISBN/ISSN
Start Date
24/09/2015
End Date
26/09/2015
From page
To page
Participants

Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial