Semantics and Analyses for Java']JavaScript and the Web

被引：0
|
作者：
Krishnamurthi, Shriram [1 ]
机构：
[1] Brown Univ, Providence, RI 02912 USA
来源：
STATIC ANALYSIS, SAS 2012 | 2012年 / 7460卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：4 / 4
页数：1
相关论文
共 50 条
  • [1] An Operational Semantics for Java']JavaScript
    Maffeis, Sergio
    Mitchell, John C.
    Taly, Ankur
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2008, 5356 : 307 - +
  • [2] Semantics of Asynchronous Java']JavaScript
    Loring, Matthew C.
    Marron, Mark
    Leijen, Daan
    ACM SIGPLAN NOTICES, 2017, 52 (11) : 51 - 62
  • [3] Web applets: Java']Java Java']JavaScript and ActiveX
    Stein, L
    TRENDS IN GENETICS, 1996, 12 (11) : 484 - 485
  • [4] Typing and semantics of asynchronous arrows in Java']JavaScript
    Fritz, Eric
    Zhao, Tian
    SCIENCE OF COMPUTER PROGRAMMING, 2017, 141 : 1 - 39
  • [5] Essential Java']JavaScript for Web professionals
    Corder, MC
    TECHNICAL COMMUNICATION, 2004, 51 (03) : 429 - 430
  • [6] Spam and Java']JavaScript, future of the web
    Andrew, Alex M.
    KYBERNETES, 2008, 37 (9-10) : 1463 - 1465
  • [7] Java']JavaScript primer plus: Enhancing Web pages with Java']JavaScript programming language
    Kelly, AG
    INTERNATIONAL JOURNAL OF INFORMATION MANAGEMENT, 1998, 18 (02) : 162 - 162
  • [8] A Tested Semantics for Getters, Setters, and Eval in Java']JavaScript
    Politz, Joe Gibbs
    Carroll, Matthew J.
    Lerner, Benjamin S.
    Pombrio, Justin
    Krishnamurthi, Shriram
    ACM SIGPLAN NOTICES, 2013, 48 (02) : 1 - 16
  • [9] KJS']JS: A Complete Formal Semantics of Java']JavaScript
    Park, Daejun
    Stefanescu, Andrei
    Rosu, Grigore
    ACM SIGPLAN NOTICES, 2015, 50 (06) : 346 - 356
  • [10] A Coq Mechanization of Java']JavaScript Regular Expression Semantics
    De Santo, Noe
    Barriere, Aurele
    Pit-claudel, Clement
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (ICFP):
12345