Als «program-analysis» getaggte Fragen

1
Literatur zur Alias-Analyse
Ich schreibe meine Masterarbeit in CS und arbeite mit Alias-Analyse. Das, was mich interessiert, ist die intraprozedurale, flusssensitive Must- und May-Alias-Analyse für Java-ähnliche Sprachen. Ich suche nach Texten, die die Grundlagen dieses Themas detailliert beschreiben, aber nichts wirklich Passendes finden konnten. Ich habe eine Reihe von Lehrbüchern über Compiler und …
3
Kann man die algorithmische Analyse automatisieren?
Hat jemand über die Möglichkeit einer Programmiersprache und eines Compilers nachgedacht, so dass der Compiler automatisch asymptotische Analysen im schlimmsten Fall durchführen kann? Der Anwendungsfall, an den ich denke, ist eine Programmiersprache, in der ich Code schreibe und kompiliere. Der Compiler teilt mir mit, dass mein Code beispielsweise in O …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.