collaborators

1 paper

cs.LO2024

Type Inference for Isabelle2Cpp

Dongchen Jiang, Chenxi Fu

Isabelle2Cpp is a code generation framework that supports automatic generation of C++ code from Isabelle/HOL specifications. However, if some type information of Isabelle/HOL speci…