上海交大研究生院主页平台管理系统汪宇霆--中文主页-- A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs

汪宇霆

副教授

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

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

职称：副教授

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

教师主页二维码

手机版

常用链接

论文成果

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

A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs

发布时间：2020-05-08

发表刊物：Proceedings of the 25th European Symposium on Programming (ESOP/ETAPS)

是否译文：否

发表时间：2016-04-01

论文类型：会议论文

上一条：A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs

下一条：Abella: A System for Reasoning about Relational Specifications

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

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

最近更新时间：--