Researcher
Manuel Hermenegildo
Universidad Politécnica de Madrid - Technical University of Madrid
Statistics
70 papers found
All papers authored by Manuel Hermenegildo
Refreshing results…
,
Manuel Hermenegildo ,
José Morales ,
Pedro Lopez-Garcia
Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation
Upload
,
Michael Leuschel ,
João Barbosa,
Vítor Santos Costa ,
Verónica Dahl,
Manuel V. Hermenegildo ,
Jose F. Morales ,
Jan Wielemaker ,
Daniel Diaz ,
Salvador Abreu ,
Giovanni Ciatto
Fifty Years of Prolog and Beyond
Upload
,
Andrea Formisano ,
Gopal Gupta ,
Manuel V. Hermenegildo ,
Enrico Pontelli ,
Ricardo Rocha
Parallel Logic Programming: A Sequel
Upload
,
Fabio Fioravanti ,
John P. Gallagher ,
Manuel V. Hermenegildo ,
Alberto Pettorossi ,
Maurizio Proietti
Analysis and Transformation of Constrained Horn Clauses for Program Verification
Upload
,
José F. Morales,
Manuel V. Hermenegildo
Incremental and Modular Context-sensitive Analysis
Upload
,
José F. Morales ,
P. López-García ,
Manuel V. Hermenegildo
Testing Your (Static Analysis) Truths
Upload
,
Jose F. Morales ,
Manuel V. Hermenegildo
Incremental Analysis of Logic Programs with Assertions and Open Predicates
Upload
,
José F. Morales ,
Pedro López-García ,
Manuel V. Hermenegildo
An Integrated Approach to Assertion-Based Random Testing in Prolog
Upload
,
José F. Morales ,
Pedro López-García ,
Roberto Giacobazzi ,
Manuel V. Hermenegildo
Computing Abstract Distances in Logic Programs
Upload
,
Zorana Banković,
Pedro Lopez-Garcia ,
Manuel V. Hermenegildo
Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks
Download from arxiv.org
,
José F. Morales ,
Manuel V. Hermenegildo
Exploiting Term Hiding to Reduce Run-Time Checking Overhead
Download from arxiv.org
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types
Download from arxiv.org
,
Kerstin Eder
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models
Download from citeseerx.ist.psu.edu
Supporting Pruning in Tabled LP
Download from oa.upm.es
,
Manuel Carro
Reversible Language Extensions and their Application in Debugging
Download from arxiv.org
A sharing-based approach to supporting adaptation in service compositions
Download from oa.upm.es
Lightweight compilation of (C)LP to JavaScript
Download from arxiv.orgMissing publications? Search for publications with a matching author name.