共 50 条
- [12] The High-Level Benefits of Low-Level Sandboxing PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (POPL):
- [16] HIGH-LEVEL COMPILING FOR LOW-LEVEL MACHINES IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 23 : 309 - 320
- [18] Bridging the Gap between High-Level Reasoning and Low-Level Control LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 342 - 354
- [20] Verifying Low-Level Implementations of High-Level Datatypes COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 306 - 320