On Semantics-to-Syntax Analyses of Algorithms
- Yuri Gurevich
In PhML-2014, Philosophy, Mathematics, Linguistics: Aspects of Interaction 2014. International interdisciplinary conference, April 21-25, 2014, St. Petersburg, Russia. |
This paper was conceived as an extended abstract, an appetizer of a kind, for “Semantics-To-Syntax Analyses of Algorithms,” A chapter in G. Sommaruga and T. Strahm (eds.), Turing’s Revolution – The Impact of His Ideas about Computability. But it was written after the fact and contains a number of observations not present in that previous version.