Ein neues Typsystem verbessert die C++-Generierung aus Isabelle/HOL-Spezifikationen und steigert die Genauigkeit.
― 6 min Lesedauer
Hochmoderne Wissenschaft einfach erklärt
Ein neues Typsystem verbessert die C++-Generierung aus Isabelle/HOL-Spezifikationen und steigert die Genauigkeit.
― 6 min Lesedauer