Towards Static Analysis of Functional Programs Using Tree Automata Completion
From MaRDI portal
Publication:2945135
DOI10.1007/978-3-319-12904-4_8zbMath1356.68131arXiv1410.2901MaRDI QIDQ2945135
Publication date: 9 September 2015
Published in: Rewriting Logic and Its Applications (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1410.2901
68Q45: Formal languages and automata
68N18: Functional programming and lambda calculus
68Q42: Grammars and rewriting systems
Related Items