E-LIB Suche - Ergebnisse für: Lopez-Garcia, Pedro

1

Some Thoughts on How to Teach Prolog:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,

Hermenegildo, Manuel V. ; Morales, Jose F. ; Lopez-Garcia, Pedro - p. 107-123 , 2023

Link: https://doi.org/10.1007/..

2

Types, Modes and so Much More – The Prolog Way:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,

Hermenegildo, Manuel V. ; Morales, Jose F. ; Lopez-Garcia, Pedro. - p. 23-37 , 2023

Link: https://doi.org/10.1007/..

3

A Rule-Based Approach for Designing and Composing Abstract ..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Jurjo, Daniel ; Morales, José ; Lopez-Garcia, Pedro. - p. 80-98 , 2023

Link: https://doi.org/10.1007/..

4

Transforming Big-Step to Small-Step Semantics Using Interpr..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Gallagher, John P. ; Hermenegildo, Manuel ; Morales, José. - p. 28-38 , 2023

Link: https://doi.org/10.1007/..

5

An Integrated Approach to Assertion-Based Random Testing in..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Casso, Ignacio ; Morales, José F. ; López-García, Pedro. - p. 159-176 , 2020

Link: https://doi.org/10.1007/..

6

A General Framework for Static Cost Analysis of Parallel Lo..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Klemen, Maximiliano ; López-García, Pedro ; Gallagher, John P... - p. 19-35 , 2020

Link: https://doi.org/10.1007/..

7

Computing Abstract Distances in Logic Programs:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Casso, Ignacio ; Morales, José F. ; López-García, Pedro.. - p. 57-72 , 2020

Link: https://doi.org/10.1007/..

8

Cost Analysis of Smart Contracts Via Parametric Resource An..:

, In: Static Analysis; Lecture Notes in Computer Science,

Pérez, Víctor ; Klemen, Maximiliano ; López-García, Pedro.. - p. 7-31 , 2020

Link: https://doi.org/10.1007/..

9

Static Performance Guarantees for Programs with Runtime Che..:

, In: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming,

Klemen, Maximiliano ; Stulova, Nataliia ; López-García, Pedro.. - p. 1-13 , 2018

Link: https://dl.acm.org/doi/1..

10

Comparison between Golden Ball Meta-heuristic, Evolutionary..:

, In: Proceedings of the 2016 on Genetic and Evolutionary Computation Conference Companion,

Osaba, Eneko ; Carballedo, Roberto ; Lopez-Garcia, Pedro. - p. 1469-1470 , 2016

Link: https://dl.acm.org/doi/1..

11

TIMON Project : Description and Preliminary Tests for Tr..:

, In: Proceedings of the 2016 on Genetic and Evolutionary Computation Conference Companion,

Osaba, Eneko ; López-Garcia, Pedro ; Masegosa, Antonio D.... - p. 1471-1472 , 2016

Link: https://dl.acm.org/doi/1..

12

Energy Efficient Allocation and Scheduling for DVFS-enabled..:

, In: Proceedings of the Companion Publication of the 2015 Annual Conference on Genetic and Evolutionary Computation,

Banković, Zorana ; López-García, Pedro - p. 1353-1354 , 2015

Link: https://dl.acm.org/doi/1..

13

Hybridizing Genetic Algorithm with Cross Entropy for Solvin..:

, In: Proceedings of the Companion Publication of the 2015 Annual Conference on Genetic and Evolutionary Computation,

Lopez-Garcia, Pedro ; Onieva, Enrique ; Osaba, Eneko.. - p. 763-764 , 2015

Link: https://dl.acm.org/doi/1..

14

CLP projection for constraint handling rules:

, In: Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming,

Haemmerle, Remy ; Lopez-Garcia, Pedro ; Hermenegildo, Manuel V. - p. 137-148 , 2011

Link: https://dl.acm.org/doi/1..

15

Combining static analysis and profiling for estimating exec..:

, In: Proceedings of the 9th international conference on Practical Aspects of Declarative Languages,

Mera, Edison ; López-García, Pedro ; Puebla, Germán.. - p. 140-154 , 2007

Link: https://dl.acm.org/doi/1..