The Path Not Taken: Duality in Reasoning about Program Execution

Le titre suggère une exploration de la dualité dans le raisonnement sur l'exécution des programmes, indiquant une analyse approfondie des approches alternatives. Il aborde probablement les méthodes formelles et logiques pour comprendre le fonctionnement des programmes.