引用人
建议
积极编译器优化的可验证SSA程序表示 2006年POPL会议记录 我们提出了一种可验证的低级程序表示，用于在Java和C#等安全语言的高性能编译器中嵌入、传播和保存安全信息。 我们的代表通过静态精确编码安全信息。。。 积极编译器优化的可验证SSA程序表示 POPL'06：第33届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录 我们提出了一种可验证的低级程序表示，用于在Java和C#等安全语言的高性能编译器中嵌入、传播和保存安全信息。 我们的代表通过静态精确编码安全信息。。。 一种正式验证的基于SSA的中间端：静态单任务满足compcert ESOP’12：第21届欧洲编程语言和系统会议记录 CompCert是一个经过正式验证的编译器，它可以为C语言的一个大型现实子集生成紧凑高效的PowerPC、ARM和x86代码。 然而，CompCert放弃使用静态单一分配（SSA），这是一种中间表示。。。