Dies ist im Wiki-Eintrag von Symbolic Execution geschrieben , aber ich kann keine Referenz dafür finden. Kann mir jemand einen Zeiger zeigen? Vielen
Ich interessierte mich kürzlich für das allgemeine Problem der Optimierung der Speichernutzung in einer Situation, in der mehr als eine Art von Speicher verfügbar ist und es einen Kompromiss zwischen der Kapazität eines bestimmten Speichersegments und der Geschwindigkeit des Zugriffs darauf gibt....
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...
Ich versuche jetzt besser zu verstehen, was "abstrakte Interpretation" in Programmiersprachen ist. Ich habe ein gutes Buchkapitel gefunden, das die Idee erklärt, die Domäne um ein am wenigsten festes Element zu erweitern, die vier Axiome, die einen festen Punkt für eine stetige Funktion ergeben,...
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...