上海交大研究生院主页平台管理系统汪宇霆--中文主页-- An Abstract Stack Based Approach to Verified Compositional Compilation to Machine Code

副教授

所在单位：电子信息与电气工程学院

学科：计算机软件与理论(081202)

职称：副教授

电子邮箱：yuting.wang@sjtu.edu.cn

教师主页二维码

手机版

中文主页 - 科学研究 - 论文成果

An Abstract Stack Based Approach to Verified Compositional Compilation to Machine Code

发布时间：2020-05-08

发表刊物：Proceedings of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)

是否译文：否

发表时间：2019-01-01

论文类型：期刊&会议论文