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 条
  • [1] Type Checking for Java']JavaScript
    Anderson, Christopher
    Giannini, Paola
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 138 (02) : 37 - 58
  • [2] Purity analysis for Java']JavaScript through abstract interpretation
    Nicolay, Jens
    Stievenart, Quentin
    De Meuter, Wolfgang
    De Roover, Coen
    [J]. JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2017, 29 (12)
  • [3] Using abstract interpretation to add type checking for interfaces in Java']Java bytecode verification
    De Francesco, Nicoletta
    Lettieri, Giuseppe
    Martini, Luca
    [J]. THEORETICAL COMPUTER SCIENCE, 2010, 411 (22-24) : 2174 - 2201
  • [4] ABSTRACT INTERPRETATION FOR TYPE CHECKING
    FILE, G
    SOTTERO, P
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 528 : 311 - 322
  • [5] RATA: Rapid Atomic Type Analysis by Abstract Interpretation - Application to Java']JavaScript Optimization
    Logozzo, Francesco
    Venter, Herman
    [J]. COMPILER CONSTRUCTION, PROCEEDINGS, 2010, 6011 : 66 - 83
  • [6] A Type and Effect System for Flexible Abstract Interpretation of Java']Java (Extended Abstract)
    Skalka, Christian
    Smith, Scott
    Van Horn, David
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 131 : 111 - 124
  • [7] Fully Abstract Compilation to Java']JavaScript
    Fournet, Cedric
    Swamy, Nikhil
    Chen, Juan
    Dagand, Pierre-Evariste
    Strub, Pierre-Yves
    Livshits, Benjamin
    [J]. ACM SIGPLAN NOTICES, 2013, 48 (01) : 371 - 383
  • [8] A Parallel Abstract Interpreter for Java']JavaScript
    Dewey, Kyle
    Kashyap, Vineeth
    Hardekopf, Ben
    [J]. 2015 IEEE/ACM INTERNATIONAL SYMPOSIUM ON CODE GENERATION AND OPTIMIZATION (CGO), 2015, : 34 - 45
  • [9] Abstract interpretation and model checking for checking secure information flow in concurrent systems
    De Francesco, N
    Santone, A
    Tesei, L
    [J]. FUNDAMENTA INFORMATICAE, 2003, 54 (2-3) : 195 - 211
  • [10] Statically Checking Conventionality of Array Objects in Java']JavaScript
    Younang, Astrid
    Lu, Lunjin
    Almashfi, Nabil
    [J]. TOOLS AND METHODS OF PROGRAM ANALYSIS, 2018, 779 : 183 - 195
12345