Binary decision graphs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1694, Issue , 1999, Pages 101-116

  Mauborgne, Laurent ^a  

^a ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BINS; BOOLEAN FUNCTIONS; STATIC ANALYSIS;

BINARY DECISION; BOOLEAN OPERATIONS; CANONICAL REPRESENTATIONS; FINITE FUNCTIONS;

BINARY DECISION DIAGRAMS;

EID: 33748888871     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48294-6_7     Document Type: Conference Paper

References (18)

1. Anuchitanakul, A., Manna, Z., and Uribe, T. E. Differential BDDs. In Computer Science Today (September 1995), J. van Leeuwen, Ed., vol. 1000 of Lecture Notes in Computer Sciencs, Springer-Verlag, pp. 218-233.
2. Bagnara, R. A reactive implementation of pos using ROBDDs. In 8th International Symposium on Programming Languages, Implementation, Logic and Programs (September 1996), H. Kuchen and S. D. Swierstra, Eds., vol. 1140 of Lecture Notes in Computer Science, Springer-Verlag, pp. 107-121.
3. Billon, J. P. Perfect normal form for discrete programs. Tech. Rep. 87039, BULL, 1987.
4. Bryant, R. E. Graph based algorithms for boolean function manipulation. IEEE Transactions on Computers C-35 (August 1986), 677-691.
5. Bryant, R. E. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys 24, 3 (September 1992), 293-318.
6. Büchi, J. R. On a decision method in restricted second order arithmetics. In International Congress on Logic, Methodology and Philosophy of Science (1960), E. Nagel et al., Eds., Stanford University Press.
7. 20 states and beyond. In Fifth Annual Symposium on Logic in Computer Science (June 1990).
8. Corsini, M.-M., Musumbi, K., and Rauzy, A. The μ-calculus over finite domains as an abstract semantics of Prolog. In Workshop on Static Analysis (September 1992), M. Billaud, P. Castran, M.-M. Corsini, K. Musumbu, and A. Rauzy, Eds., no. 81-82 in Bigre.
9. Cousot, P., and Cousot, R. Abstract interpretation; a unified lattice model for static analysis of programs by construction of approximation of fixpoints. In 4th ACM Symposium on Principles of Programming Languages (POPL '77) (1977), pp. 238-252.
10. Fujita, M., Fujisawa, H., and Kawato, N. Evaluation and improvements of boolean comparison method based on binary decision diagram. In International Conference on Computer-Aided Design (November 1988), IEEE, pp. 3-5.
11. Gupta, A., and Fisher, A. L. Parametric circuit representation using inductive boolean functions. In Computer Aided Verification (1993), C. Courcoubetis, Ed., vol. 697 of Lecture Notes in Computer Science, Springer-Verlag, pp. 15-28.
12. Jeong, S.-W., Plessier, B., Hachtel, G. D., and Somenzi, F. Variable ordering and selection for FSM traversal. In International Conference on Computer-Aided Design (November 1991), IEEE, pp. 476-479.
13. Le Charlier, B., and van Hentenryck, P. Groundness analysis for Prolog: Implementation and evaluation of the domain prop. In PEPM'93 (1993).
14. Madre, J.-C., and Coudert, O. A logically complete reasoning maintenance system based on a logical constraint solver. In 12th International Joint Conference on Artificial Intelligence (1991), pp. 294-299.
15. Manna, Z., and Pnueli, A. The anchored version of the temporal framework. In Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency (May/June 1988), J. W. de Bakker, W. P. de Roever, and G. Rozenberg, Eds., vol. 354 of Lecture Notes in Computer Science, Springer-Verlag, pp. 201-284.
16. Mauborgne, L. Abstract interpretation using typed decision graphs. Science of Computer Programming 31, 1 (May 1998), 91-112.
17. Mauborgne, L. Representation of Sets of Trees for Abstract Interpretation. PhD thesis, École Polytechnique, 1999.
18. Michie, D. "memo" functions and machine learning. Nature 218 (April 1968), 19-22.