Home

Programming Languages


Course Code

CS263

Session

Spring 2020

Instructor(s)

Qinxiang Cao, Assistant Professor (tenure-track)

John Hopcroft Center for Computer Science

Shanghai Jiao Tong University

Description

This course, Programming Languages, is about the theory for the following questions: is this program correct? why is it correct? why is it not correct? how to describe the behavior of a program? how to describe the designed functionality of a program? You will learn operational semantics, denotational semantics, Hoare logic and basic functional programming and proof engineering in Coq.

© John Hopcroft Center for Computer Science, Shanghai Jiao Tong University
分享到

地址:上海市东川路800号上海交通大学软件大楼专家楼
邮箱:jhc@sjtu.edu.cn 电话:021-54740299
邮编:200240