16 citations · 30 across the 4 of their papers we have counts for
4 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…