Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff. Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms. In Andrei Voronkov, editor, Turing-100 - The Alan Turing Centenary, Manchester, UK, June 22-25, 2012. Volume 10 of EPiC Series, pages 168-180, EasyChair, 2012. [doi]
Abstract is missing.