共 50 条
- [41] Formal verification of an optimizing compiler TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2007, 4533 : 1 - 1
- [43] Java']Java Client Ahead-of-Time Compiler for Embedded Systems LCTES'07: PROCEEDINGS OF THE 2007 ACM SIGPLAN-SIGBED CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, 2007, : 63 - 72
- [45] COMPILER/HARDWARE ASSISTED APPLICATION CODE AND DATA SECURITY IN EMBEDDED SYSTEMS 2009 IEEE/AIAA 28TH DIGITAL AVIONICS SYSTEMS CONFERENCE, VOLS 1-3, 2009, : 1757 - +
- [46] Lightweight multitasking support for embedded systems using the phantom serializing compiler DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2005, : 742 - 747
- [48] Evaluation of a Java']Java Ahead-of-Time Compiler for Embedded Systems COMPUTER JOURNAL, 2012, 55 (02): : 232 - 252
- [50] COO: COMPILER OBJECT CODE GENERATOR GENERATOR. NEC Research and Development, 1987, (85): : 55 - 59