Improving abstract interpretations by combining domains

Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria Jose Garcia De La Banda, Manuel Hermenegildo

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

Original language	English
Pages (from-to)	28 - 44
Number of pages	17
Journal	ACM Transactions on Programming Languages and Systems
Volume	17
Issue number	1
Publication status	Published - 1995

Cite this

@article{46ab2bb907e242f5a260cbb11323106a,

title = "Improving abstract interpretations by combining domains",

author = "Michael Codish and Anne Mulkers and Maurice Bruynooghe and {Garcia De La Banda}, {Maria Jose} and Manuel Hermenegildo",

year = "1995",

language = "English",

volume = "17",

pages = "28 -- 44",

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

issn = "0164-0925",

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

number = "1",

}

TY - JOUR

T1 - Improving abstract interpretations by combining domains

AU - Codish, Michael

AU - Mulkers, Anne

AU - Bruynooghe, Maurice

AU - Garcia De La Banda, Maria Jose

AU - Hermenegildo, Manuel

PY - 1995

Y1 - 1995

UR - http://delivery.acm.org/10.1145/210000/200998/p28-codish.pdf?key1=200998&key2=7446862911&coll=portal&dl=ACM&CFID=39531132&CFTOKEN=69988641

M3 - Article

SN - 0164-0925

VL - 17

SP - 28

EP - 44

JO - ACM Transactions on Programming Languages and Systems

JF - ACM Transactions on Programming Languages and Systems

IS - 1

ER -