汪宇霆

副教授

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

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

职称：副教授

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

查看更多>

团队成员
教师主页二维码
手机版

常用链接

科研项目

当前位置: 中文主页 - 科学研究 - 科研项目

基于通用开放语义的可组合编译器验证研究

发布时间：2024-01-27

负责人姓名：汪宇霆

学科门类：计算机科学技术基础学科

结项日期：2027-12-01

开始日期：2024-01-01

上一条：CCF-华为胡杨林基金形式化专项项目-Rust核心语言机制的编译验证方法

下一条：系统软件平台端到端正确性的验证方法研究

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

访问人数： |