7.1k citations
- Universidad Complutense de MadridES109 papers
- Universidad Autónoma de MadridES103 papers
- IMDEA MaterialsES74 papers
- Centre National de la Recherche ScientifiqueFR54 papers
- Universidad Carlos III de MadridES48 papers
- Universidad Rey Juan CarlosES40 papers
- Institute of Mathematical SciencesIN32 papers
- Universitat de ValènciaES30 papers
- Sorbonne UniversitéFR24 papers
- Universitat de BarcelonaES24 papers
- Université Paris-SaclayFR24 papers
- Instituto de Astrofísica de AndalucíaES22 papers
4 papers · 2 filters
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…
Test Case Generation for Object-Oriented Imperative Languages in CLP
Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test cases which are applied to a…
Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling
Pablo Chico de Guzman, Manuel Carro, David S. Warren
One of the differences among the various approaches to suspension-based tabled evaluation is the scheduling strategy. The two most popular strategies are local and batched evaluati…
Verification of Java Bytecode using Analysis and Transformation of Logic Programs
Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert +1
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat…