CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
X. Leroy and F. Pessaux. Type-based analysis of uncaught exceptions. Research report 3541, INRIA, Nov. 1998. Extended version of this paper.
F. Pessaux and X. Leroy. Type-based analysis of uncaught exceptions. In Proc Principles of Programming Languages (POPL'99), San Antonio, Jan 1999.
F. Pessaux and X. Leroy. Type-based analysis of uncaught exceptions. In Proceedings of the 26th Symposium on the Principles of Programming Languages, pages 276--290, January 1999.
Francois Pessaux and Xavier Leroy. Type-based analysis of uncaught exceptions. In Proceedings of 26th ACM Conference on Principles of Programming Languages, January 1999.
F. Pessaux and X. Leroy. Type-based analysis of uncaught exceptions. In Proc. POPL'99, pages 276-290, San Antonio, Texas, 1999. ACM Press.
Francois Pessaux and Xavier Leroy. Typebased analysis of uncaught exceptions. In Proceedings of The ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, pages 276-290, January 1999.
F. Pessaux and X. Leroy. Type-based analysis of uncaught exceptions. In Proc. POPL'99, pages 276-290, San Antonio, Texas, 1999. ACM Press.
Francois Pessaux and Xavier Leroy. Type-based analysis of uncaught exceptions. In Proceedings of 26th ACM Conference on Principles of Programming Languages, January 1999.
X. Leroy and F. Pessaux, Type-based analysis of uncaught exceptions. ACM Transactions on Programming Languages and Systems, Vol.22, No. 2, pp. 340-377, March 2000
F. Pessaux and X. Leroy. Type-based analysis of uncaught exceptions. In Proc. of POPL'99, pages 276-290. ACM Press, 1999.
F. Pessaux and X. Leroy. Type-based analysis of uncaught exceptions. In Proc Principles of Programming Languages (POPL'99), San Antonio, Jan 1999.
Francois Pessaux and Xavier Leroy. Type-based analysis of uncaught exceptions. ACM Transactions on Programming Languages and Systems, 22(2):340{ 377, 2000. URL: http://pauillac.inria.fr/~xleroy/publi/ exceptions-toplas.ps.gz.
X. Leroy and F. Pessaux. Type-based analysis of uncaught exceptions. ACM Transactions on Programming Languages and Systems, 22(2):340--377, Mar. 2000.
F. Pessaux and X. Leroy. Type-based analysis of uncaught exceptions. ACM Trans. Prog. Lang. Syst., 22(2):340-377, 2000.
Francois Pessaux and Xavier Leroy. Type-based analysis of uncaught exceptions. In ACM Symposium on Principles of Programming Languages, pages 276--290, January 1999.
Xavier Leroy and Francois Pessaux. Type-based analysis of uncaught exceptions. ACM Transactions on Programming Languages and Systems, 22(2):340--377, March 2000.
Francois Pessaux and Xavier Leroy. Type-based analysis of uncaught exceptions. In Proceedings of The ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 276--290, January 1999.
Xavier Leroy and Francois Pessaux. Type-based analysis of uncaught exceptions. ACM Transactions on Programming Languages and Systems, 22(2):340--377, 2000.
Xavier Leroy and Francois Pessaux. Type-based analysis of uncaught exceptions. ACM Transactions on Programming Languages and Systems, 22(2):340--377, 2000. An extended abstract appeared in Proceedings of the 26th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 1999, pages 276-- 290.
Pessaux, F., Leroy, X.: Type-based analysis of uncaught exceptions. ACM Transactions on Programming Languages and Systems 22 (2000) 340-377
Pessaux, F., Leroy, X.: Type-based analysis of uncaught exceptions. ACM Transactions on Programming Languages and Systems 22 (2000) 340-377 url: http://pauillac.inria.fr/~xleroy/publi/exceptions-toplas.ps.gz.
F. Pessaux and X. Leroy. Type-based analysis of uncaught exceptions. ACM Transactions on Programming Languages and Systems, 22(2):340-377, 2000.
Francois Pessaux and Xavier Leroy. Type-based analysis of uncaught exceptions. ACM Transactions on Programming Languages and Systems, 22(2):340-- 377, 2000. URL: http://pauillac.inria.fr/~xleroy/ publi/exceptions-toplas.ps.gz.
F. Pessaux and X. Leroy, Type-based analysis of uncaught exceptions. Proceedings of 26th ACM Conference on Principles of Programming Languages, January 1999.
F. Pessaux and X. Leroy. Type-based analysis of uncaught exceptions. In Proceedings of ACM SIGPLAN/SIGACT Symposium on Principles of Programming Languages, pages 276--290, 1999. 34
Francois Pessaux and Xavier Leroy. Type-based analysis of uncaught exceptions. ACM Transactions on Programming Languages and Systems, 22(2):340--377, 2000. url: http://pauillac.inria.fr/~xleroy/publi/ exceptions-toplas.ps.gz.
Pessaux, F., Leroy, X.: Type-based analysis of uncaught exceptions. ACM Transactions on Programming Languages and Systems 22 (2000)
Xavier Leroy and Francois Pessaux. Type-based analysis of uncaught exceptions. ACM Transactions on Programming Languages and Systems, 22(2):340--377, March 2000.
F. Pessaux and X. Leroy. Type-based analysis of uncaught exceptions. In Proceedings of ACM SIGPLAN /SIGACT Symposium on Principles of Programming Languages, pages 276--290, 1999.
Xavier Leroy and Francois Pessaux. Type-based analysis of uncaught exceptions. ACM Transactions on Programming Languages and Systems, 22(2):340-377, 2000. An extended abstract appeared in Proceedings of the 26th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 1999, pages 276{ 290.
F. Pessaux and X. Leroy. Type-based analysis of uncaught exceptions. ACM Transactions on Programming Languages and Systems, 22(2):340--377, 2000.
F. Pessaux and X. Leroy. Type-based analysis of uncaught exceptions. ACM Transactions on Programming Languages and Systems, 22(2):340--377, 2000.
Francois Pessaux and Xavier Leroy. Type-based analysis of uncaught exceptions. In Proceedings of 26th ACM Conference on Principles of Programming Languages, January 1999.
F. Pessaux and X. Leroy. Type-based analysis of uncaught exceptions. ACM Transactions on Programming Languages and Systems, 22(2):340--377, 2000.