上海交大研究生院主页平台管理系统 Wang Yuting--Home-- An Abstract Stack Based Approach to Verified Compositional Compilation to Machine Code

Home > Scientific Research > Paper Publications

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

Date of Publication:2019-01-01 Hits:

Journal:Proceedings of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)
Translation or Not:no
Date of Publication:2019-01-01
Indexed by:期刊&会议论文

Pre One:CompCertELF: verified separate compilation of C programs into ELF object files

Next One:Schematic Polymorphism in the Abella Proof Assistant

Recommend this article

Home

Scientific Research

Teaching Research

Awards and Honours

Admission Information

Student Information

My Album

Blog

Personal Information

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