共 50 条
- [11] Towards Understanding the Bugs in Solidity Compiler PROCEEDINGS OF THE 33RD ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2024, 2024, : 1312 - 1324
- [12] TOWARDS AUTOMATED MANAGEMENT OF COMPILER ASSIGNMENTS CSEDU 2009: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED EDUCATION, VOL II, 2009, : 243 - 249
- [13] NLCP: Towards a Compiler for Natural Language 2017 21ST INTERNATIONAL CONFERENCE ON CONTROL SYSTEMS AND COMPUTER SCIENCE (CSCS), 2017, : 252 - 259
- [15] Towards an integrated design methodology for mechatronic systems Research in Engineering Design, 2023, 34 : 497 - 512
- [16] A First Step towards a Compiler for Business Processes COMPILER CONSTRUCTION, 2014, 8409 : 238 - 243
- [17] Towards a Demonstrably-Correct Ada Compiler SIGADA'07: PROCEEDINGS OF THE 2007 ACM SIGADA ANNUAL INTERNATIONAL CONFERENCE, 2007, : 89 - 95
- [18] Compiler Extensions towards Reliable Multicore Processors 2017 IEEE AEROSPACE CONFERENCE, 2017,
- [19] Towards a verified Lustre compiler with modular reset SCOPES '18: PROCEEDINGS OF THE 21ST INTERNATIONAL WORKSHOP ON SOFTWARE AND COMPILERS FOR EMBEDDED SYSTEMS, 2018, : 14 - 17
- [20] TOWARDS A COMPILER GENERATED ADJOINT MODEL OF FVCOM PROCEEDINGS OF THE 2011 3RD INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGY AND ENGINEERING (ICSTE 2011), 2011, : 101 - 105