A Reactive Implementation of Pos Using ROBDDs

TitoloA Reactive Implementation of {Pos} Using {ROBDDs}
Publication TypeConference Paper
Year of Publication1996
AuthorsBagnara R
EditorKuchen H, Swierstra DS
Conference NameProgramming Languages: Implementations, Logics and Programs, Proceedings of the Eighth International Symposium
PublisherSpringer-Verlag, Berlin
Conference LocationAachen, Germany
ISBN Number3-540-61756-6
Parole chiaveabstract interpretation, boolean functions, groundness analysis, logic programming, mode analysis, software verification, static analysis
DOI10.1007/3-540-61756-6_80
Refereed DesignationRefereed