Kato: A program slicing tool for declarative specifications

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2007, Pages 767-770

  Uzuncaova, Engin ^a   Khurshid, Sarfraz ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; OPTIMIZATION; TRANSLATION (LANGUAGES);

DECLARATIVE LANGUAGES; DEFAULT TRANSLATION; UNSATISFIABILITY;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 34548781309     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2007.47     Document Type: Conference Paper

References (14)

1. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley Publishing Company, Boston, MA, 1986.
2. C. Barrett and S. Berezin. CVC Lite: A new implementation of the cooperating validity checker. In Proceedings of the 16th International Conference On Computer Aided Verification, Boston, MA, July 2004.
3. T. H. Cormen, C. E. Leiserson, and R. L. Rivest. Introduction to Algorithms. The MIT Press, Cambridge, MA, 1990.
4. M. K. Ganai, L. Zhang, P. Ashar, A. Gupta, and S. Malik. Combining strengths of circuit-based and CNFbased algorithms for a high-performance SAT solver. In Proceedings of the 39th Conference on Design Automation (DAC), pages 747-750, June 2002.
5. D. Jackson. Software Abstractions: Logic, Language and Analysis. The MIT Press, Cambridge, MA, 2006.
6. D. Jackson, I. Schechter, and I. Shlyakhter. ALCOA: The Alloy constraint analyzer. In Proceedings of the 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland, June 2000.
7. D. Marinov, S. Khurshid, S. Bugrara, L. Zhang, and M. Rinard. Optimizations for compiling declarative models into boolean formulas. In 8th International Conference on Theory and Applications of Satisfiability Testing (SAT2005), St.Andrews, Scotland, 2005.
8. W. Pugh. The Omega test: A fast and practical integer programming algorithm for dependence analysis. Communications of the ACM, 31(8), August 1992.
9. I. Shlyakhter. Declarative Symbolic Pure Logic Model Checking. PhD thesis, MIT, February 2005.
10. E. Torlak and G. Dennis. Kodkod for alloy users. In First Alloy Workshop, co-located with the 14th ACM/SIGSOFT Symposium on Foundations of Software Engineering (FSE'06), Portland, OR, November 2006.
11. E. Uzuncaova and S. Khurshid. Program slicing for declarative models. (Under submission).
12. E. Uzuncaova and S. Khurshid. Program slicing for declarative models. In Proceedings of the 14th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), November 2006. (Poster paper).
13. M. Weiser. Program slicing. In Proceedings of the 5th International Conference on Software Engineering (ICSE), pages 439-449, San Diego, California, March 1981. IEEE Computer Society Press.
14. J. Yuan, C. Pixley, and A. Aziz. Constraint-Based Verification. Springer-Verlag, 2006.