Author:
Zimmermann Wolf,Kühn Thomas,Sabinus Edward,Weißbach Mandy
Publisher
Springer Nature Switzerland
Reference17 articles.
1. Basil, V.R., Turner, A.J.: Iterative enhancement: a practical technique for software development. IEEE Trans. Softw. Eng. SE-1(4), 390–396 (1975)
2. Boldo, S., Jourdan, J.-H., Leroy, X., Melquiond, G.: Verified compilation of floating-point computations. J. Autom. Reason. 54, 135–163 (2015)
3. Börger, E.: Abstract state machines: a unifying view of models of computation and of system design frameworks. Ann. Pure Appl. Log. 133(1–3), 149–171 (2005)
4. Glesner, S., Goos, G., Zimmermann, W.: Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and architecture of verifying compilers). IT-Inf. Technol. 46(5), 265–276 (2004)
5. Goos, G.: Sather-k. Technical report, Universität Karlsruhe, Fakultät für Informatik, 1996. Revised Report with Heinz Schmidt