共 50 条
- [1] A Spectrum of Type Soundness and Performance PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, 2018,
- [2] The spectrum of ?31-soundness PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2023, 381 (2248): : 20220013
- [5] Game Semantics for Type Soundness 2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, : 104 - 114
- [7] On the Cost of Type-Tag Soundness PROCEEDINGS OF THE ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'18), 2018, : 30 - 39
- [8] Type Soundness and Race Freedom for Mezzo FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, 2014, 8475 : 253 - 269
- [9] SOUNDNESS OF AN INDUCTION-TYPE RHEOSTAT IZVESTIYA AKADEMII NAUK AZERBAIDZHANSKOI SSR SERIYA FIZIKO-TEKHNICHESKIKH I MATEMATICHESKIKH NAUK, 1977, (03): : 75 - 79