共 50 条
- [2] High-level views on low-level representations [J]. ACM SIGPLAN NOTICES, 2005, 40 (09) : 168 - 179
- [3] The High-Level Benefits of Low-Level Sandboxing [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (POPL):
- [5] HIGH-LEVEL BINDING WITH LOW-LEVEL LINKERS [J]. COMMUNICATIONS OF THE ACM, 1976, 19 (11) : 642 - 644
- [7] HIGH-LEVEL WASTE, LOW-LEVEL LOGIC [J]. BULLETIN OF THE ATOMIC SCIENTISTS, 1994, 50 (06) : 40 - 45
- [8] HIGH-LEVEL COMPILING FOR LOW-LEVEL MACHINES [J]. IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 23 : 309 - 320
- [10] Bridging the Gap between High-Level Reasoning and Low-Level Control [J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 342 - 354