Duality

The Path Not Taken: Duality in Reasoning about Program Execution

O título sugere uma exploração da dualidade no raciocínio sobre a execução de programas, indicando uma análise profunda de abordagens alternativas. Provavelmente aborda métodos formais e lógicos para entender como os programas operam.