A Rice's Theorem for Abstract Semantics

Paolo Baldan, Francesco Ranzato, Linpeng Zhang
January, 2021
Cite DOI URL
Type
Conference paper
Publication
48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference)