16 citations · 30 across the 6 of their papers we have counts for
6 papers
Semantic Code Browsing
Isabel Garcia-Contreras, Jose F. Morales, Manuel V. Hermenegildo
Programmers currently enjoy access to a very high number of code repositories and libraries of ever increasing size. The ensuing potential for reuse is however hampered by the fact…
Practical Run-time Checking via Unobtrusive Property Caching
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
The use of annotations, referred to as assertions or contracts, to describe program properties for which run-time tests are to be generated, has become frequent in dynamic programi…
Towards Assertion-based Debugging of Higher-Order (C)LP Programs
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
Higher-order constructs extend the expressiveness of first-order (Constraint) Logic Programming ((C)LP) both syntactically and semantically. At the same time assertions have been i…
Lightweight compilation of (C)LP to JavaScript
Jose F. Morales, Rémy Haemmerlé, Manuel Carro +1
We present and evaluate a compiler from Prolog (and extensions) to JavaScript which makes it possible to use (constraint) logic programming to develop the client side of web applic…
Certificate size reduction in Abstraction-Carrying Code
Elvira Albert, Puri Arenas, Germán Puebla +1
Carrying Code (ACC) has recently been proposed as a framework for mobile code safety in which the code supplier provides a program together with an abstraction (or abstract model o…
Efficient Local Unfolding with Ancestor Stacks
G. Puebla, E. Albert, M. Hermenegildo
The most successful unfolding rules used nowadays in the partial evaluation of logic programs are based on well quasi orders (wqo) applied over (covering) ancestors, i.e., a subseq…