Browse "CS-Conference Papers(학술회의논문)" by Author Ryu, Sukyoung

Showing results 57 to 62 of 62

57
ThisJava: An Extension of Java with Exact Types

Na, Hyunik; Ryu, Sukyoung, Asian Symposium on Programming Languages and Systems, Asian Association for Foundation of Software, 2013-12-10

58
Towards a Cost-effective Estimation of Uncaught Exceptions in SML Programs

Ryu, Sukyoung; Yi, Kwangkeun, The 4th International Static Analysis Symposium, Springer, 1997-09-08

59
Towards Understanding and Reasoning about Android Interoperations

Bae, Sora; Lee, Sungho; Ryu, Sukyoung, 41st IEEE/ACM International Conference on Software Engineering, ICSE 2019, pp.223 - 233, IEEE Computer Society, 2019-05-29

60
Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance

Allen, Eric; Hilburn, Justin; Kilpatrick, Scott; Luchangco, Victor; Ryu, Sukyoung; Chase, David; Steele, Guy, Proceedings of the ACM international conference on Object oriented programming systems languages and applications, pp.973 - 992, ACM SIGPLAN, 2011-10-27

61
Weakly sensitive analysis for unbounded iteration over JavaScript objects

Ko, Yoonseok; Rival, Xavier; Ryu, Sukyoung, 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, pp.148 - 168, Springer Verlag, 2017-11-29

62
Web Programming Chairs’ Welcome

Ryu, Sukyoung; Serrano, Manuel, 27th International World Wide Web, WWW 2018, pp.679 - 680, Association for Computing Machinery, 2018-04

Discover

rss_1.0 rss_2.0 atom_1.0