Waves and Mean Flows || Linear waves
- 作者Buhler, Oliver
- 期第2期
- 文件大小238.95KB
- 发表时间2014
- DOI10.1017/CBO9781107478701.003
- 页码22-39
Program Logics for Certified Compilers || IntroductionAppel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier · 2014
Program Logics for Certified Compilers || CompCertAppel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier · 2014
Program Logics for Certified Compilers || ApplicationsAppel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier · 2014
Program Logics for Certified Compilers || BibliographyAppel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier · 2014
Program Logics for Certified Compilers || Road mapAppel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier · 2014
Program Logics for Certified Compilers || Hoare logicAppel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier · 2014
Program Logics for Certified Compilers || Separation logicAppel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier · 2014
Program Logics for Certified Compilers || Separation algebrasAppel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier · 2014