Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming

Francisco Bueno, Maria Jose Garcia De La Banda, Manuel Hermenegildo

Research output: Contribution to journal › Article › Research › peer-review

Original language	English
Pages (from-to)	189 - 239
Number of pages	51
Journal	ACM Transactions on Programming Languages and Systems
Publication status	Published - 1999

Cite this

@article{07b0a58316074d01827ca6da227218cb,

title = "Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming",

author = "Francisco Bueno and {Garcia De La Banda}, {Maria Jose} and Manuel Hermenegildo",

year = "1999",

language = "English",

pages = "189 -- 239",

journal = "ACM Transactions on Programming Languages and Systems",

issn = "0164-0925",

publisher = "Association for Computing Machinery (ACM)",

}

TY - JOUR

T1 - Effectiveness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming

AU - Bueno, Francisco

AU - Garcia De La Banda, Maria Jose

AU - Hermenegildo, Manuel

PY - 1999

Y1 - 1999

M3 - Article

SP - 189

EP - 239

JO - ACM Transactions on Programming Languages and Systems

JF - ACM Transactions on Programming Languages and Systems

SN - 0164-0925

ER -