Researcher
Manuel Hermenegildo
Universidad Politécnica de Madrid - Technical University of Madrid
Statistics
70 papers found
Papers authored by Manuel Hermenegildo
Refreshing results…
2001
Gopal Gupta,
Enrico Pontelli,
Khayri A. M. Ali,
Mats Carlsson,
Manuel V. Hermenegildo 
Parallel execution of prolog programs
Upload
1999
Germán Puebla,
Manuel V. Hermenegildo
Abstract Multiple Specialization and Its Application to Program Parallelization.
Download from doi.org
Germán Puebla,
Francisco Bueno,
Manuel V. Hermenegildo
Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs
Download from www.researchgate.net
1998
Francisco Bueno,
Manuel V. Hermenegildo ,
Ugo Montanari,
Francesca Rossi
,
Ugo Montanari,
Francesca Rossi
Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs.
Download from www.researchgate.net
1997
Michael Codish,
Maurice Bruynooghe,
Maria Garcia De La Banda,
Manuel Hermenegildo
Exploiting goal independence in the analysis of logic programs
Download from doi.org
1996
M. Garcia de la Banda,
M. Hermenegildo ,
M. Bruynooghe,
V. Dumortier,
G. Janssens,
W. Simoens
,
M. Bruynooghe,
V. Dumortier,
G. Janssens,
W. Simoens
Global analysis of constraint logic programs
Upload
1970
Amadeo Casas,
Manuel Carro,
Manuel V. Hermenegildo
A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism
Download from citeseerx.ist.psu.eduMissing publications? Search for publications with a matching author name.