共 50 条
- [1] π: Towards a Simple Formal Semantic Framework for Compiler Construction SAC '19: PROCEEDINGS OF THE 34TH ACM/SIGAPP SYMPOSIUM ON APPLIED COMPUTING, 2019, : 1562 - 1569
- [2] Α simple compiler-compiler for microcomputer IT - Information Technology, 1984, 26 (1-6): : 186 - 194
- [3] Towards the verifying compiler FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT, 2003, 2757 : 151 - 160
- [4] Towards a Compiler for Reals ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2017, 39 (02):
- [6] Towards the verifying compiler FROM OBJECT-ORIENTATION TO FORMAL METHODS: ESSAYS IN MEMORY OF OLE-JOHAN DAHL, 2004, 2635 : 124 - 136
- [7] A Surprisingly Simple Lua Compiler 25TH BRAZILIAN SYMPOSIUM ON PROGRAMMING LANGUAGES, SBLP 2021, 2021, : 1 - 8
- [8] Online Compiler as a Cloud Service 2014 INTERNATIONAL CONFERENCE ON ADVANCED COMMUNICATION CONTROL AND COMPUTING TECHNOLOGIES (ICACCCT), 2014, : 1783 - 1786
- [10] Towards a Natural Language Compiler ADVANCES IN COMPUTATIONAL INTELLIGENCE, MICAI 2018, PT II, 2018, 11289 : 70 - 82