Ein Blick auf die Komplexitäten der Trennung von Sprachen in Buchi VASS.
― 5 min Lesedauer
Roland Meyer
Untersuchen, wie Compiler-Transformationen die Programmsicherheit und Nicht-Interferenz beeinflussen.
― 4 min Lesedauer
Hochmoderne Wissenschaft einfach erklärt
Ein Blick auf die Komplexitäten der Trennung von Sprachen in Buchi VASS.
― 5 min Lesedauer
Untersuchen, wie Compiler-Transformationen die Programmsicherheit und Nicht-Interferenz beeinflussen.
― 4 min Lesedauer