Keyword:Specification-based computation formalisms

Publications
Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms Cornelis Huizing, Ruurd Kuiper and Tom Verhoeff In:Turing-100. The Alan Turing Centenary