@inproceedings{mine_new_2001,
	address = {Berlin, Heidelberg},
	series = {Lecture {Notes} in {Computer} {Science}},
	title = {A {New} {Numerical} {Abstract} {Domain} {Based} on {Difference}-{Bound} {Matrices}},
	isbn = {978-3-540-44978-2},
	doi = {10.1007/3-540-44978-7_10},
	abstract = {This paper presents a new numerical abstract domain for static analysis by abstract interpretation. This domain allows us to represent invariants of the form (x − y = c) and (±x = c) , where x and y are variables values and c is an integer or real constant.},
	language = {en},
	booktitle = {Programs as {Data} {Objects}},
	publisher = {Springer},
	author = {Miné, Antoine},
	editor = {Danvy, Olivier and Filinski, Andrzej},
	year = {2001},
	pages = {155--172},
}

{"_id":"7Qo6c9PnXA5SJKrdM","bibbaseid":"min-anewnumericalabstractdomainbasedondifferenceboundmatrices-2001","author_short":["Miné, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Berlin, Heidelberg","series":"Lecture Notes in Computer Science","title":"A New Numerical Abstract Domain Based on Difference-Bound Matrices","isbn":"978-3-540-44978-2","doi":"10.1007/3-540-44978-7_10","abstract":"This paper presents a new numerical abstract domain for static analysis by abstract interpretation. This domain allows us to represent invariants of the form (x − y = c) and (±x = c) , where x and y are variables values and c is an integer or real constant.","language":"en","booktitle":"Programs as Data Objects","publisher":"Springer","author":[{"propositions":[],"lastnames":["Miné"],"firstnames":["Antoine"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Danvy"],"firstnames":["Olivier"],"suffixes":[]},{"propositions":[],"lastnames":["Filinski"],"firstnames":["Andrzej"],"suffixes":[]}],"year":"2001","pages":"155–172","bibtex":"@inproceedings{mine_new_2001,\n\taddress = {Berlin, Heidelberg},\n\tseries = {Lecture {Notes} in {Computer} {Science}},\n\ttitle = {A {New} {Numerical} {Abstract} {Domain} {Based} on {Difference}-{Bound} {Matrices}},\n\tisbn = {978-3-540-44978-2},\n\tdoi = {10.1007/3-540-44978-7_10},\n\tabstract = {This paper presents a new numerical abstract domain for static analysis by abstract interpretation. This domain allows us to represent invariants of the form (x − y = c) and (±x = c) , where x and y are variables values and c is an integer or real constant.},\n\tlanguage = {en},\n\tbooktitle = {Programs as {Data} {Objects}},\n\tpublisher = {Springer},\n\tauthor = {Miné, Antoine},\n\teditor = {Danvy, Olivier and Filinski, Andrzej},\n\tyear = {2001},\n\tpages = {155--172},\n}\n\n\n\n\n\n\n\n","author_short":["Miné, A."],"editor_short":["Danvy, O.","Filinski, A."],"key":"mine_new_2001","id":"mine_new_2001","bibbaseid":"min-anewnumericalabstractdomainbasedondifferenceboundmatrices-2001","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/alukina","dataSources":["Cfgnp5s4HQSBd8tAf"],"keywords":[],"search_terms":["new","numerical","abstract","domain","based","difference","bound","matrices","miné"],"title":"A New Numerical Abstract Domain Based on Difference-Bound Matrices","year":2001}