University of Toronto (Canada);
机译:BUNDILDEN:通过编译时间转换进行线程强制空间内存安全性
机译:一种方法,将六个编译器转换的搜索空间作为一个问题解决,并利用硬件体系结构细节来修剪六种编译器转换的搜索空间
机译:二元过程的比较:一套规避编译器转换的技术
机译:C语中的用户控制的循环变换
机译:正式基于SSA的编译器进行经过验证的高级程序转换
机译:编制凋亡胱天蛋白酶中变构调节全球图的多管齐下的方法
机译:通过用户定向类型专业化编译泛型
机译:兔子:计划编制者(LIsp方言)。基于控制和环境结构宏观定义技术的LamBDa作为重命名和程序调用GOTO的编译优化研究。源到源转换过程集成和尾递归。