Decidability ceiling [Google Scholar] Papers related to Decidability ceiling Extended static checking: A ten-year perspective [leino:informatics:2001]
