Interprocedural exception analysis for Java

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Interprocedural exception analysis for Java

Full text

Pdf (186 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 2001 ACM symposium on Applied computing table of contents

Las Vegas, Nevada, United States

Pages: 620 - 625

Year of Publication: 2001

ISBN:1-58113-287-5

Authors

Byeong-Mo Chang	Sookmyung Women's, University, Seoul, Korea
Jang-Wu Jo	Pusan University, of Foreign Studies, Pusan, Korea
Kwangkeun Yi	Korea Advanced Inst., of Science & Technology, Taejon, Korea
Kwang-Moo Choe	Korea Advanced Inst., of Science & Technology, Taejon, Korea

Sponsor

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 21, Citation Count: 7

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/372202.372786 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	B.-M. Chang, K. Yi and J. Jo, Constraint-based analysis for Java, SSGRR 2000 Computer and e-Business Conference, August 2000, L'Aquila, Italy.
	2	Patrick Cousot , Radhia Cousot, Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form, Proceedings of the 7th International Conference on Computer Aided Verification, p.293-308, July 03-05, 1995
	3	Greg DeFouw , David Grove , Craig Chambers, Fast interprocedural class analysis, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.222-236, January 19-21, 1998, San Diego, California, United States [doi>10.1145/268946.268965]
	4	S. Drossopoulou, and S. Eisenbach, Java is type safe-probably, Proceedings of 97 ECOOP, 1997
	5	S. Drossopoulou, and T. Valkevych, Java type soundness revisited. Techical Report, hnperial College, November 1999. Also available from: http://www-doc.ic.ac.uk/scd.
	6	Manuel Fahndrich , Jeffrey Foster , Jason Cu , Alexander Aiken, Tracking down Exceptions in Standard ML Programs, University of California at Berkeley, Berkeley, CA, 1998
	7	Xavier Leroy , François Pessaux, Type-based analysis of uncaught exceptions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.2, p.340-377, March 2000 [doi>10.1145/349214.349230]
	8	Nevin Charles Heintze, Set based program analysis, Carnegie Mellon University, Pittsburgh, PA, 1992
	9	Tobias Nipkow , David von Oheimb, Java_light is type-safe—definitely, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.161-170, January 19-21, 1998, San Diego, California, United States [doi>10.1145/268946.268960]
	10	Jens Palsberg , Michael I. Schwartzbach, Object-oriented type inference, Conference proceedings on Object-oriented programming systems, languages, and applications, p.146-161, October 06-11, 1991, Phoenix, Arizona, United States
	11	Robin Milner , Mads Tofte , David Macqueen, The Definition of Standard ML, MIT Press, Cambridge, MA, 1997
	12	Martin P. Robillard , Gail C. Murphy, Analyzing exception flow in Java programs, Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering, p.322-337, September 06-10, 1999, Toulouse, France
	13	Kwangkeun Yi. Compile-time detection of uncaught exceptions in standard ML programs. In Lecture Notes in Computer Science, volmne 864, pages 238-254. Springer-Verlag, Proceedings of the 1st Static Analysis Symposimn, September 1994.
	14	Kwangkeun Yi, An abstract interpretation for estimating uncaught exceptions in standard ML programs, Science of Computer Programming, v.31 n.1, p.147-173, May 1998 [doi>10.1016/S0167-6423(96)00044-5]
	15	Kwangkeun Yi , Byeong-Mo Chang, Exception Analysis for Java, Proceedings of the Workshop on Object-Oriented Technology, p.111-112, June 14-18, 1999
	16	Kwangkeun Yi , Sukyoung Ryu, Towards a Cost-Effective Estimation of Uncaught Exceptions in SML Programs, Proceedings of the 4th International Symposium on Static Analysis, p.98-113, September 08-10, 1997
	17	Kwangkeun Yi , Sukyoung Ryu, A cost-effective estimation of uncaught exceptions in standard ML programs, Theoretical Computer Science, v.277 n.1-2, p.185-217, April 28, 2002 [doi>10.1016/S0304-3975(00)00317-0]

CITED BY 7

	Marko van Dooren , Eric Steegmans, Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations, ACM SIGPLAN Notices, v.40 n.10, October 2005
	Martin P. Robillard , Gail C. Murphy, Static analysis to support the evolution of exception structure in object-oriented systems, ACM Transactions on Software Engineering and Methodology (TOSEM), v.12 n.2, p.191-221, April 2003
	Byeong-Mo Chang , Jangwu Jo, Granularity of constraint-based analysis for Java, Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.94-102, September 05-07, 2001, Florence, Italy
	Raymond P.L. Buse , Westley R. Weimer, Automatic documentation inference for exceptions, Proceedings of the 2008 international symposium on Software testing and analysis, July 20-24, 2008, Seattle, WA, USA
	Saurabh Sinha , Alessandro Orso , Mary Jean Harrold, Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow, Proceedings of the 26th International Conference on Software Engineering, p.336-345, May 23-28, 2004
	Westley Weimer , George C. Necula, Exceptional situations and program reliability, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.2, p.1-51, March 2008
	Patrick H. S. Brito , Rogério De Lemos , Cecília M. F. Rubira , Eliane Martins, Architecting fault tolerance with exception handling: verification and validation, Journal of Computer Science and Technology, v.24 n.2, p.212-237, March 2009