Factorizing Equivalent Variable Pairs in {ROBDD}-Based Implementations of {Pos}

Title
Publication TypeConference Paper
Year of Publication1999
AuthorsBagnara R, Schachte P
EditorHaeberer AM
Conference NameProceedings of the ‘‘Seventh International Conference on Algebraic Methodology and Software Technology (AMAST’98)’’
PublisherSpringer-Verlag, Berlin
Conference LocationAmazonia, Brazil
ISBN Number3-540-65462-3
Keywordsabstract interpretation, constraint logic programming, groundness analysis, logic programming, mode analysis, software verification, static analysis
DOI10.1007/3-540-49253-4_33
We are a passionate team of experts. Do not hesitate to let us have your feedback:
You may be surprised to discover just how much your suggestions matter to us.