Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference37 articles.
1. The intensional content of Rice's theorem;Asperti,2008
2. A Rice's theorem for abstract semantics;Baldan,2021
3. A machine-independent theory of the complexity of recursive functions;Blum;J. ACM,1967
4. On effective procedures for speeding up algorithms;Blum;J. ACM,1971
5. Abstract extensionality: on the properties of incomplete abstract interpretations;Bruni,2020