Flow: Abstract Interpretation of Java']JavaScript for Type Checking and Beyond

被引：13
|
作者：
Chaudhuri, Avik [1 ]
机构：
[1] Facebook, Menlo Pk, CA 94025 USA
来源：
PROCEEDINGS OF THE 2016 ACM WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY (PLAS'16) | 2016年
关键词：
type inference; static analysis; !text type='Java']Java[!/text]Script;
D O I：
10.1145/2993600.2996280
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：1 / 1
页数：1
相关论文
共 50 条
  • [21] Staged Information Flow for Java']JavaScript
    Chugh, Ravi
    Meister, Jeffrey A.
    Jhala, Ranjit
    Lerner, Sorin
    [J]. PLDI'09 PROCEEDINGS OF THE 2009 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2009, : 50 - 62
  • [22] Static Contract Checking with Abstract Interpretation
    Faehndrich, Manuel
    Logozzo, Francesco
    [J]. FORMAL VERIFICATION OF OBJECT-ORIENTED SOFTWARE, 2011, 6528 : 10 - 30
  • [23] Refining Model Checking by Abstract Interpretation
    Cousot P.
    Cousot R.
    [J]. Automated Software Engineering, 1999, 6 (1) : 69 - 95
  • [24] Static Checking By Means of Abstract Interpretation
    Musumbu, Kaninda
    [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY, 2008, : 107 - 112
  • [25] Completeness of Abstract Domains for String Analysis of Java']JavaScript Programs
    Arceri, Vincenzo
    Olliaro, Martina
    Cortesi, Agostino
    Mastroeni, Isabella
    [J]. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2019, 2019, 11884 : 255 - 272
  • [26] Towards type inference for Java']JavaScript
    Anderson, C
    Giannini, P
    Drossopoulou, S
    [J]. ECOOP 2005 - OBJECT-ORIENTED PROGRAMMING, PROCEEDINGS, 2005, 3586 : 428 - 452
  • [27] A Study on Abstract Syntax Tree for Development of a Java']JavaScript Compiler
    Kim, Jaehyun
    Lee, Yangsun
    [J]. INTERNATIONAL JOURNAL OF GRID AND DISTRIBUTED COMPUTING, 2018, 11 (06): : 37 - 47
  • [28] Combining String Abstract Domains for Java']JavaScript Analysis: An Evaluation
    Amadini, Roberto
    Jordan, Alexander
    Gange, Graeme
    Gauthier, Francois
    Schachte, Peter
    Sondergaard, Harald
    Stuckey, Peter J.
    Zhang, Chenyi
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT I, 2017, 10205 : 41 - 57
  • [29] DHTML']HTML accessibility checking based on static Java']JavaScript analysis
    Tateishi, Takaaki
    Miyashita, Hisashi
    Naoshi, Tabuchi
    Saito, Shin
    Ono, Kouichi
    [J]. UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: APPLICATIONS AND SERVICES, PT 3, PROCEEDINGS, 2007, : 167 - +
  • [30] To Type or Not to Type: Quantifying Detectable Bugs in Java']JavaScript
    Gao, Zheng
    Bird, Christian
    Barr, Earl T.
    [J]. 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2017, : 758 - 769
12345