Extending Isabelle/HOL's Code Generator with support for the Go programming language.
Terru StübingerLars HupelPublished in: CoRR (2023)
Keyphrases
- programming language
- object oriented
- general purpose
- theorem prover
- strongly typed
- software engineering
- high level
- natural deduction
- code generator
- object oriented programming
- abstract data types
- automatically generated
- functional programming
- functional language
- case study
- inference rules
- development process
- exception handling
- data management
- relational databases