A Coq Library of Sets for Teaching Denotational Semantics.

Qinxiang Cao Xiwei Wu Yalun Liang

Published in: ThEdu@CADE (2023)

Keyphrases

denotational semantics
programming language
learning environment
online learning
query language
distance learning
operational semantics
higher education
distance education
high school
problem based learning
computer programming