共 20 条
[1]
Anand A, 2017, COQ PROGRAMMING LANG
[4]
A Verified Generational Garbage Collector for CakeML
[J].
INTERACTIVE THEOREM PROVING (ITP 2017),
2017, 10499
:444-461
[5]
Gammie P, 2015, ACM SIGPLAN NOTICES, V50, P99, DOI [10.1145/2813885.2738006, 10.1145/2737924.2738006]
[6]
Gonthier G., 1996, LECT NOTES COMPUTER, V1102
[7]
Harrison J, 2005, LECT NOTES COMPUT SC, V3603, P114
[8]
Hawblitzel C., 2014, S OP SYST DES IMPL, P165
[9]
Hawblitzel C, 2010, LOG METH COMPUT SCI, V6
[10]
McCreight A., 2008, THESIS