汪宇霆

副教授

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

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

职称:副教授

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

查看更多>

教师主页二维码

Verified compilation of C programs with a nominal memory model

发布时间:2023-02-17

发表刊物:Proceedings of the ACM on Programming Languages

ISSN号:None

是否译文:

发表时间:2022-01-01

论文类型:期刊论文

 沪ICP备05052060 版权所有©上海交通大学

访问人数: | 开通时间:--

最近更新时间:--