A Reactive Implementation of {Pos} Using {ROBDDs}

Publication TypeConference Paper
Year of Publication1996
AuthorsBagnara R
EditorKuchen H, S. Swierstra D
Conference NameProgramming Languages: Implementations, Logics and Programs, Proceedings of the Eighth International Symposium
PublisherSpringer-Verlag, Berlin
Conference LocationAachen, Germany
ISBN Number3-540-61756-6
Keywordsabstract interpretation, boolean functions, groundness analysis, logic programming, mode analysis, software verification, static analysis
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.