Realistische Compiler https://www.mpg.de/5562753/Realistische_Compiler?c=2191
Neue Untersuchungen haben die Durchführbarkeit der Verifizierung realistischer optimierender Compiler nachgewiesen. Es sind jedoch noch zahlreiche Probleme zu überwinden, bis verifizierte Compiler zur Verfügung stehen, die eine modulare Softwareentwicklung sowie Multicore-Architekturen unterstützen.
Um diese beeindruckende und bedeutende Leistung nachvollziehen zu können, muss man