The Path Not Taken: Duality in Reasoning about Program Execution

Der Titel deutet auf eine Untersuchung der Dualität beim Denken über Programmausführung hin, was eine tiefgehende Analyse alternativer Ansätze vermuten lässt. Es befasst sich wahrscheinlich mit formalen und logischen Methoden zum Verständnis der Funktionsweise von Programmen.