Sukyoung Ryu  Home/Search
Context
Related
| ropas.kaist.ac.kr/~p...phdthesis.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ropas.kaist.ac.kr/~puppy/p...full (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Exception handling facilities are useful but dangerous. Many modern programming languages such as C++, Java, Ada, Modula-3, and ML provide the programmer with exception mechanisms. However, the exception facilities can provide a hole for program safety. Even for type-safe programming languages like ML, exceptions provide a hole for program safety. ML programs can abruptly halt when an exception is raised and never handled. This is the only one "safety hole" in well-typed ML programs.... (Update)
Similar documents (at the sentence level):
21.9%: A Cost-effective Estimation of Uncaught Exceptions in Standard ML .. - Yi, Ryu (2000) (Correct)
9.1%: Exception Analysis for Multithreaded Java Programs - Sukyoung Ryu And (Correct)
8.6%: Towards a Cost-effective Estimation of Uncaught Exceptions in SML .. - Yi, Ryu (1997) (Correct)
Active bibliography (related documents):
0.5: Automatic Test Data Generation for Exceptions in First-Order ML.. - Ryu, al. (1999) (Correct)
Similar documents based on text: More All
0.6: An Explicit Polymorphic Type System for Verifying Untrusted.. - Chung (2000) (Correct)
0.3: Verification of Machine Codes Using An Effect Type System - Chung, Ryu, Yi (2000) (Correct)
0.3: An Uncaught Exception Analysis for Java - Jo, Chang, Yi, Choe (2002) (Correct)
BibTeX entry: (Update)
@misc{ ryu-exception,
author = "Sukyoung Ryu",
title = "Exception Analysis for Languages with Exceptions",
url = "citeseer.ist.psu.edu/466367.html" }
Citations (may not include all citations):2 ithtdoctidcPres Pressarianerep (context) - Failure, esrin et al. - 1996
http://java.sun.com/products/jdk/1.2
http://java.sun.com/products
Documents on the same site (http://ropas.kaist.ac.kr/~puppy/paper/full.html): More
Verification of Machine Codes Using An Effect Type System - Chung, Ryu, Yi (2000) (Correct)
Automatic Test Data Generation for Exceptions in First-Order ML.. - Ryu, al. (1999) (Correct)
Exception Analysis for Multithreaded Java Programs - Ryu (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC