A Theorem Proving Approach to Programming Language Semantics.
2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING-SOFTWARE ENGINEERING EDUCATION AND TRAINING, ICSE-SEET（2023）
关键词
Programming Language Semantics,Theorem Proving,Interactive Proof Assistants,Computer Science Education
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要