Alejandro
López García
Roskilde University
Roskilde, DinamarcaPublicacións en colaboración con investigadores/as de Roskilde University (7)
2023
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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)
2021
-
Regular path clauses and their application in solving loops
Electronic Proceedings in Theoretical Computer Science, EPTCS
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)
-
From big-step to small-step semantics and back with interpreter specialisation
Electronic Proceedings in Theoretical Computer Science, EPTCS
2016
-
A transformational approach to parametric accumulated-cost static profiling
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Inferring parametric energy consumption functions at different software levels: ISA vs. LLVM IR
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)