Manuel Hermenegildo
Manuel Hermenegildo
IMDEA Software Institute and Technical U. of Madrid (UPM)
upm.es üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Compile-time derivation of variable dependency using abstract interpretation
K Muthukumar, M Hermenegildo
The Journal of Logic Programming 13 (2-3), 315-347, 1992
2931992
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
2762001
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
2152005
Task granularity analysis in logic programs
SK Debray, NW Lin, M Hermnegildo
ACM SIGPLAN Notices 25 (6), 174-188, 1990
2051990
Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation.
K Muthukumar, MV Hermenegildo
ICLP 91, 49-63, 1991
2021991
An abstract machine for restricted AND-parallel execution of logic programs
MV Hermenegildo
International Conference on Logic Programming, 25-39, 1986
1831986
Prolog and its performance: Exploiting independent And-Parallelism
MV Hermenegildo, KJ Greene
Logic programming, 253-268, 1990
1751990
An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel
MV Hermenegildo
The University of Texas at Austin, 1986
1751986
An overview of Ciao and its design philosophy
MV Hermenegildo, F Bueno, M Carro, P López-García, E Mera, ...
Theory and Practice of Logic Programming 12 (1-2), 219-252, 2012
1722012
Global flow analysis as a practical compilation tool
MV Hermenegildo, R Warren, SK Debray
The Journal of Logic Programming 13 (4), 349-366, 1992
1561992
On the practicality of global flow analysis of logic programs
R Warren, MV Hermenegildo
MIT Press, 1988
1561988
Determination of Variable Dependence Information through Abstract Interpretation.
K Muthukumar, MV Hermenegildo
NACLP, 166-185, 1989
1491989
The &-Prolog system: Exploiting independent and-parallelism
MV Hermenegildo, KJ Greene
New Generation Computing 9 (3-4), 233-256, 1991
1471991
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
1441995
An assertion language for constraint logic programs
G Puebla, F Bueno, M Hermenegildo
Analysis and Visualization Tools for Constraint Programming, 23-61, 2000
1342000
Lower Bound Cost Estimation for Logic Programs.
SK Debray, P López-García, MV Hermenegildo, NW Lin
ILPS 97, 291-305, 1997
1261997
On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs.
F Bueno, P Deransart, W Drabent, G Ferrand, MV Hermenegildo, ...
AADEBUG 97, 155-170, 1997
1251997
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
1132007
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
1131995
ACE: And/Or-parallel copying-based execution of logic programs
G Gupta, M Hermenegildo
Workshop on Parallel Logic Programming, 146-158, 1991
1121991
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20