Jedd: A BDD-based relational extension of Java

ACM SIGPLAN Notices

Volumn 39, Issue 6, 2004, Pages 158-169

  Lhoták, Ondřej ^a   Hendren, Laurie ^a  

^a MCGILL UNIVERSITY   (Canada)

Author keywords

Binary decision diagrams; Boolean formula satisfiability; Java; Language design; Program analysis; Relations

Indexed keywords

ALGORITHMS; FUNCTIONS; LARGE SCALE SYSTEMS; PROBLEM SOLVING; PROGRAM COMPILERS; VISUALIZATION;

BINARY DECISION DIAGRAM; JAVA WRAPPER; LANGUAGE DESIGN; PROGRAM ANALYSIS;

JAVA PROGRAMMING LANGUAGE;

EID: 4544342550     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/996893.996861     Document Type: Conference Paper

References (32)

1. Thomas Ball and Sriram K. Rajamani. Bebop: A Path-sensitive Interprocedural Dataflow Engine. In Proceedings of PASTE'01, pages 97 - 103, June 2001.
2. D. M. Beazley. SWIG: An easy to use tool for integrating scripting languages with C and C++. In Proceedings of the 4th USENIX Tcl/Tk Workshop, pages 129-139, July 1996.
3. Gerd Behrmann. The interactive BDD environment. http://iben.sourceforge.net/.
4. R. Berghammer, B. Leoniuk, and U. Milanese. Implementation of relational algebra using binary decision diagrams. In 6th International Conference RelMiCS 2001, volume 2561 of LNCS, pages 241-257, December 2002.
5. Marc Berndl, Ondřej Lhoták, Feng Qian, Laurie Hendren, and Navindra Umanee. Points-to analysis using BDDs. In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, pages 103-114. ACM Press, 2003.
6. Dirk Beyer, Andreas Noack, and Claus Lewerentz. Simple and efficient relational querying of software structures. In Proceedings of the 10th IEEE Working Conference on Reverse Engineering (WCRE 2003), pages 216-225, 2003.
7. Claus Brabrand, Anders Møller, and Michael I. Schwartzbach. The project. ACM Transactions on Internet Technology (TOIT), 2(2):79-114, 2002.
8. Randal E. Bryant. Symbolic boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys, 24(3):293-318, 1992.
9. W. F. Clocksin and C. S. Mellish. Programming in Prolog. Springer-Verlag New York, Inc., 1987.
10. E. F. Codd. A relational model of data for large shared data banks. Communications of the ACM, 13(6):377-387, 1970.
11. H.M. Fahmy, R.C. Holt, and J.R. Cordy. Wins and losses of algebraic transformations of software architectures. In ASE 2001: Automated Software Engineering, pages 51-62, 2001.
12. James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison-Wesley, 1996.
13. Ondřej Lhoták and Laurie Hendren. Jedd: A BDD-based relational extension of Java. Technical Report 2003-7, McGill University, Sable Research Group, 2003.
14. Jørn Lind-Nielsen. BuDDy, A Binary Decision Diagram Package. Department of Information Technology, Technical University of Denmark, http://www.itu.dk/research/buddy/.
15. R. Manevich, G. Ramalingam, J. Field, D. Goyal, and M. Sagiv. Compactly Representing First-Order Structures for Static Analysis. In Manuel V. Hermenegildo and German Puebla, editors, Proceedings of SAS'02, volume 2477 of LNCS, Madrid, Spain, September 2002. Springer.
16. Erik Meijer and Wolfram Schulte. Unifying tables, objects, and documents. In Workshop on Declarative Programming in the Context of Object-Oriented Languages, pages 145-166, August 2003.
17. S. Minato and F. Somenzi. Arithmetic boolean expression manipulator using BDDs. Formal Methods in System Design, 10(2/3):221-242, 1997.
18. Shinichi Minato. Zero-suppressed BDDs for set manipulation in combinatorial problems. In Proceedings of the 30th ACM/IEEE Design Automation Conference, pages 272-277. ACM Press, 1993.
19. Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, and Sharad Malik. Chaff: engineering an efficient SAT solver. In Proceedings of the 38th Conference on Design Automation, pages 530-535. ACM Press, 2001.
20. Marcus Nilsson. GBDD - A package for representing relations with BDDs. http://user.it.uu.se/-~marcusn/projects/rmc/docs/gbdd/index.html.
21. N. Nystrom, M. R. Clarkson, and A. C. Myers. Polyglot: An extensible compiler framework for Java. In 12th International Conference on Compiler Construction, volume 2622 of LNCS, pages 138-152, 2003.
22. Mooly Sagiv, Thomas Reps, and Reinhard Wilhelm. Parametric shape analysis via 3-valued logic. ACM Transactions on Programming Languages and Systems (TOPLAS), 24(3):217-298, 2002.
23. J. T. Schwartz, R. B. K. Dewar, E. Dubinsky, and E. Schonberg. Programming with Sets - an Introduction to Setl. Springer, New York, 1986.
24. Ganesh Sittampalam, Oege de Moor, and Ken Friis Larsen. Incremental execution of transformation specifications. In Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 26-38. ACM Press, 2004.
25. Fabio Somenzi. CUDD: CU Decision Diagram Package. Department of Electrical and Computer Engineering, University of Colorado at Boulder, http://vlsi.colorado.edu/~fabio/CUDD/.
26. Arash Vahidi. Arash's Java interface to BDDs. http://www.chl.chalmers.se/~vahidi/bdd/bdd.html.
27. Raja Vallée-Rai, Etienne Gagnon, Laurie J. Hendren, Patrick Lam, Patrice Pominville, and Vijay Sundaresan. Optimizing Java bytecode using the Soot framework: is it feasible? In Compiler Construction, 9th International Conference (CC 2000), volume 1781 of LNCS, pages 18-34, 2000.
28. John Whaley. JavaBDD - Java binary decision diagram library, http://javabdd.sourceforge.net/.
29. John Whaley and Monica Lam. Cloning-based context-sensitive pointer alias analyses using binary decision diagrams. In Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation. ACM Press, 2004.
30. L. Zhang and S. Malik. Validating SAT solvers using an independent resolution-based checker: Practical implementations and other applications. In Proceedings of Design, Automation and Test in Europe (DATE2003). pages 880-885, 2003.
31. X. Zhang, R. Gupta, and Y. Zhang. Efficient forward computation of dynamic slices using reduced ordered binary decision diagrams. In 2004 IEEE/ACM International Conference on Software Engineering, 2004.
32. Jianwen Zhu and Silvian Calman. Symbolic pointer analysis revisited. In Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation. ACM Press, 2004.