Person: Loscos Barroso, Daniel
Universidad Complutense de Madrid
Faculty / Institute
Sistemas Informáticos y Computación
Now showing 1 - 2 of 2
PublicationTesting and profiling of regular type operations(2020) Loscos Barroso, Daniel; Hermenegildo Salinas, Manuel; López García, Pedro; Morales Caballero, José FranciscoWe performed an audit of the operations of the regular types library included with the Ciao pre-processor, CiaoPP, with the objective of exploring its correctness and efficiency. We centered our investigation on the operations relevant for performing type inference analysis via abstract interpretation, with special attention to the widening operators. We implemented tools to perform our white-box testing of the library, found the bottlenecks for analysis, and proposed some solutions to the main issues diagnosed in the investigation. PublicationGeneralization and Completeness of Evolutionary Computation(2018) Loscos Barroso, Daniel; Rodríguez Laguna, Ismael; Martí Oliet, NarcisoThe need of a structured framework for evolutionary computation has been acknowledged. In order to achieve this we designed a set of operational semantics and defined a “general form” of evolutionary computation. Our second approach towards a generalization was to study the relationship between different algorithms and the problems they solve from a performance standpoint. Lastly, we tried to analyze the convergence and complexity of evolutionary algorithms. This led to a set of computability results, the main one being that evolutionary computation is Turing-complete.