南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）09_Shared-Variable Concurrency
文件格式: PDF大小: 194.8KB页数: 22
南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）Separation Logic（1/3）
文件格式: PPT大小: 1.63MB页数: 27
Program Specifications using Hoare’s Notation Inference Rules of Hoare Logic Automated Program Verification Soundness and Completeness Discussions
文件格式: PDF大小: 707.43KB页数: 193
南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）06_Denotational Semantics
文件格式: PDF大小: 379.12KB页数: 50
《程序设计语言的形式语义》课程教学资源（文献资料）Lecture Notes on the Lambda Calculus
文件格式: PDF大小: 462.23KB页数: 106
南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）05_Operational Semantics
文件格式: PDF大小: 329.44KB页数: 85
南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）04_Lambda Calculus
文件格式: PPTX大小: 356.78KB页数: 76
Sets Relations Functions Products Sums
文件格式: PDF大小: 2.15MB页数: 38
南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）02_CoqOverview
文件格式: PPTX大小: 131.06KB页数: 10
南京大学：《程序设计语言的形式语义》课程教学资源（课件讲稿）01_Introduction（主讲：冯新宇）Formal Semantics of Programming Languages
文件格式: PPT大小: 6.96MB页数: 39