.png){kind=icon}
Return
Optimizing Isabelle2Cpp for Safe and Efficient C++ Codes Generation
.png){kind=icon}
PRE
AI
DOI：10.1002/spe.70111.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Isabelle2Cpp is a general framework that enables automatic C++ codes generation from Isabelle/HOL specifications. However, the generated codes may lead to data safety problems in secondary development, and there is still room for efficiency improvement of the generated codes.
Keywords:
C++ code generation
data safety
execution efficiency
Isabelle2Cpp
Journal
S
IF:
2.7
Papers:
47
Citations:
0
Organization
Cited Papers
.png){kind=icon}
ShareSaveShareSaveShareSaveShareSave
View more