Login / Signup
Course Design and Tool Development for Functional Programming Integrating with Program Verification: from the Perspective of the Interactive Theorem Prover.
Haipeng Qu
Yaojun Hou
Rongqian Zhou
Published in:
ACM TUR-C (2023)
Keyphrases
</>
theorem prover
design tools
functional programming
design process
knowledge base
software engineering
mathematical knowledge
theorem proving
web services
database systems
programming language
first order logic
object oriented programming
computer algebra systems