E-LIB Suche - Ergebnisse für: Hermenegildo, Manuel

1

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/..

2

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/..

3

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/..

4

Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Eva..:

Hermenegildo, Manuel ; Igarashi, Atsushi , 2019

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

5

Proceedings of the 25th International Conference on Compile..:

Zaks, Ayal ; Hermenegildo, Manuel , 2016

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

6

Description and Optimization of Abstract Machines in a Dial..:

MORALES, JOSÉ F. ; CARRO, MANUEL ; HERMENEGILDO, MANUEL
Theory and Practice of Logic Programming. 16 (2015) 1 - p. 1-58 , 2015

Link: https://doi.org/10.1017/..

7

Analyzing service-oriented systems using their data and str..:

, In: Proceedings of the First International Workshop on European Software Services and Systems Research: Results and Challenges,

Ivanović, Dragan ; Carro, Manuel ; Hermenegildo, Manuel - p. 47-48 , 2012

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

8

Exploring the impact of inaccuracy and imprecision of QoS a..:

, In: Proceedings of the 4th International Workshop on Principles of Engineering Service-Oriented Systems,

Ivanović, Dragan ; Carro, Manuel ; Hermenegildo, Manuel - p. 29-35 , 2012

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

9

Certificate size reduction in abstraction-carrying code:

ALBERT, ELVIRA ; ARENAS, PURI ; PUEBLA, GERMÁN.
Theory and Practice of Logic Programming. 12 (2011) 3 - p. 283-318 , 2011

Link: https://doi.org/10.1017/..

10

Verification, model checking, and abstract interpretation

11th international conference, VMCAI 2010, Madrid, Spain, J... Lecture notes in computer science ; 5944

Barthe, Gilles ; Hermenegildo, Manuel , 2010

Link: http://dx.doi.org/10.100..

11

Proceedings of the 11th international conference on Verific..:

Barthe, Gilles ; Hermenegildo, Manuel , 2010

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

12

Efficient local unfolding with ancestor stacks:

PUEBLA, GERMÁN ; ALBERT, ELVIRA ; HERMENEGILDO, MANUEL
Theory and Practice of Logic Programming. 11 (2010) 1 - p. 1-32 , 2010

Link: https://doi.org/10.1017/..

13

Lock-free parallel dynamic programming:

Stivala, Alex ; Stuckey, Peter J. ; Garcia de la Banda, Maria..
Journal of Parallel and Distributed Computing. 70 (2010) 8 - p. 839-848 , 2010

Link: https://doi.org/10.1016/..

14

Introduction to the 26th international conference on logic ..:

HERMENEGILDO, MANUEL ; SCHAUB, TORSTEN
Theory and Practice of Logic Programming. 10 (2010) 4-6 - p. 361-364 , 2010

Link: https://doi.org/10.1017/..

15

Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium..:

Hermenegildo, Manuel ; Palsberg, Jens , 2010

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