Manuel Hermenegildo
Manuel Hermenegildo
IMDEA Software Institute and Technical U. of Madrid (UPM)
Bestätigte E-Mail-Adresse bei upm.es - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Compile-time derivation of variable dependency using abstract interpretation
K Muthukumar, M Hermenegildo
The Journal of Logic Programming 13 (2-3), 315-347, 1992
2881992
Parallel execution of prolog programs: a survey
G Gupta, E Pontelli, KAM Ali, M Carlsson, MV Hermenegildo
ACM Transactions on Programming Languages and Systems (TOPLAS) 23 (4), 472-602, 2001
2632001
Task granularity analysis in logic programs
SK Debray, NW Lin, M Hermnegildo
ACM SIGPLAN Notices 25 (6), 174-188, 1990
2001990
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
MV Hermenegildo, G Puebla, F Bueno, P López-García
Science of Computer Programming 58 (1-2), 115-140, 2005
1982005
Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation.
K Muthukumar, MV Hermenegildo
ICLP 91, 49-63, 1991
1941991
An abstract machine for restricted AND-parallel execution of logic programs
MV Hermenegildo
International Conference on Logic Programming, 25-39, 1986
1821986
An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel
M Hermenegildo
University of Texas at Austin, 1986
1781986
Prolog and its performance: Exploiting independent And-Parallelism
MV Hermenegildo, KJ Greene
Logic programming, 253-268, 1990
1691990
An overview of Ciao and its design philosophy
MV Hermenegildo, F Bueno, M Carro, P López-García, E Mera, ...
arXiv preprint arXiv:1102.5497, 2011
1582011
Global flow analysis as a practical compilation tool
MV Hermenegildo, R Warren, SK Debray
The Journal of Logic Programming 13 (4), 349-366, 1992
1521992
On the practicality of global flow analysis of logic programs
R Warren, M Hermenegildo, SK Debray
ICLP/SLP, 684-699, 1988
1481988
The &-Prolog system: Exploiting independent and-parallelism
MV Hermenegildo, KJ Greene
New Generation Computing 9 (3-4), 233-256, 1991
1461991
Determination of Variable Dependence Information through Abstract Interpretation.
K Muthukumar, MV Hermenegildo
NACLP, 166-185, 1989
1451989
Improving abstract interpretations by combining domains
M Codish, A Mulkers, M Bruynooghe, MG De La Banda, M Hermenegildo
ACM Transactions on Programming Languages and Systems (TOPLAS) 17 (1), 28-44, 1995
1361995
An assertion language for constraint logic programs
G Puebla, F Bueno, M Hermenegildo
Analysis and Visualization Tools for Constraint Programming, 23-61, 2000
1272000
Lower Bound Cost Estimation for Logic Programs.
SK Debray, P López-García, MV Hermenegildo, NW Lin
ILPS 97, 291-305, 1997
1201997
On the role of semantic approximations on validation and diagnosis of contraint logic programs
F Bueno, P Deransart, W Drabent, G Ferrand, M Hermenegildo, ...
Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 …, 1997
1141997
Strict and nonstrict independent and-parallelism in logic programs: Correctness, efficiency, and compile-time conditions
MV Hermenegildo, F Rossi
The Journal of Logic Programming 22 (1), 1-45, 1995
1111995
The Ciao prolog system
F Bueno, D Cabeza, M Carro, M Hermenegildo, P López-Garcıa, ...
Reference Manual. The Ciao System Documentation Series–TR CLIP3/97.1, School …, 1997
1071997
User-definable resource bounds analysis for logic programs
J Navas, E Mera, P López-García, MV Hermenegildo
International Conference on Logic Programming, 348-363, 2007
1062007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20