Abstract: Isabelle2Cpp is a general framework that allows generating C++ codes from functional Isabelle/HOL specifications automatically. This paper further improves Isabelle2Cpp and optimizes the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback