Login / Signup
A Coq Implementation of the Program Algebra in Jifeng He's New Roadmap for Linking Theories of Programming.
Rundong Mu
Qin Li
Published in:
Theories of Programming and Formal Methods (2023)
Keyphrases
</>
computer programs
programming environment
high level programming
high level programming language
programming language
programming course
programming environments
data model
relational algebra
novice programmers
program code
source code
hardware implementation
program understanding
boolean algebra