Alejandro
López García
Consejo Superior de Investigaciones Científicas
Madrid, EspañaPublicacions en col·laboració amb investigadors/es de Consejo Superior de Investigaciones Científicas (38)
2023
-
A Rule-Based Approach for Designing and Composing Abstract Domains
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis
Electronic Proceedings in Theoretical Computer Science, EPTCS
-
Some Thoughts on How to Teach Prolog
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 107-123
-
Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Types, Modes and so Much More – The Prolog Way
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 23-37
2021
-
Erratum: A general framework for static profiling of parametric resource usage (Theory and Practice of Logic Programming (2016) 16:5–6 (849–865) DOI: 10.1017/S1471068416000442)
Theory and Practice of Logic Programming
-
Regular path clauses and their application in solving loops
Electronic Proceedings in Theoretical Computer Science, EPTCS
-
Testing Your (Static Analysis) Truths
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
VeriFly: On-the-fly Assertion Checking via Incrementality
Theory and Practice of Logic Programming, Vol. 21, Núm. 6, pp. 768-784
2020
-
A General Framework for Static Cost Analysis of Parallel Logic Programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
An Integrated Approach to Assertion-Based Random Testing in Prolog
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Computing Abstract Distances in Logic Programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Cost Analysis of Smart Contracts Via Parametric Resource Analysis
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019
-
A General Methodology for Energy-efficient Scheduling in Multicore Environments Based on Evolutionary Algorithms
Journal of Multiple-Valued Logic and Soft Computing, Vol. 32, Núm. 3-4, pp. 313-341
-
Towards computing abstract distances in logic programs
Electronic Proceedings in Theoretical Computer Science, EPTCS
2018
-
Inferring energy bounds via static program analysis and evolutionary modeling of basic blocks
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
Theory and Practice of Logic Programming, Vol. 18, Núm. 2, pp. 167-223
-
Towards static performance guarantees for programs with run-time checks
OpenAccess Series in Informatics
2017
-
An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors
Logic Journal of the IGPL, Vol. 25, Núm. 6, pp. 1006-1019
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)