CIn; language compiler design; embedded compiler; compiler; abstract machine;
机译:基于SMT的嵌入式ANSI-C软件边界模型检查
机译:编译器辅助的动态暂存器内存管理,具有重叠的嵌入式系统空间
机译:具有编译时未知的暂存器大小的嵌入式系统的内存分配
机译:一种简单的方法,可以在乐器的软件上从Scratch Andembed IT构建一个Ansi-C.编译器
机译:具有编译时未知的暂存器大小的嵌入式系统的内存分配。
机译:用简单的抓握工具将异物牢固地嵌入视神经头部。
机译:基于SMT的嵌入式ANSI-C软件的有界模型检查
机译:基于scratch-pad的嵌入式系统的编译驱动动态内存分配方法。