共 50 条
- [2] DYNAMIC TYPING IN A STATICALLY TYPED LANGUAGE ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1991, 13 (02): : 237 - 268
- [3] Statically Checking Web API Requests in Java']JavaScript 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2017, : 244 - 254
- [4] Statically Checking Conventionality of Array Objects in Java']JavaScript TOOLS AND METHODS OF PROGRAM ANALYSIS, 2018, 779 : 183 - 195
- [5] Ad-hoc Polymorphism and Dynamic Typing in a Statically Typed Functional Language WGP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN WORKSHOP ON GENERIC PROGRAMMING, 2010, : 73 - 84
- [6] Typed JS']JS: A Lightweight Typed Java']JavaScript Engine for Mobile Devices MOBILE COMPUTING, APPLICATIONS, AND SERVICES (MOBICASE 2015), 2015, 162 : 107 - 121
- [7] A Statically Typed Query Language for Property Graphs PROCEEDINGS OF THE 15TH INTERNATIONAL DATABASE ENGINEERING & APPLICATIONS SYMPOSIUM (IDEAS '11), 2011, : 219 - 225
- [8] DYNAMIC TYPING IN A STATICALLY-TYPED LANGUAGE CONFERENCE RECORD OF THE SIXTEENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 1989, : 213 - 227
- [10] Statically Detecting Java']JavaScript Obfuscation and Minification Techniques in the Wild 51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN 2021), 2021, : 569 - 580