Horwitz, Susan; Demers, Alan; Teitelbaum, Tim An efficient general iterative algorithm for dataflow analysis. (English) Zbl 0612.68015 Acta Inf. 24, 679-694 (1987). MSC: 68Q60 PDF BibTeX XML Cite \textit{S. Horwitz} et al., Acta Inf. 24, 679--694 (1987; Zbl 0612.68015) Full Text: DOI
Demers, A.; Keleman, C.; Reusch, B. On some decidable properties of finite state translations. (English) Zbl 0489.68076 Acta Inf. 17, 349-364 (1982). MSC: 68Q45 PDF BibTeX XML Cite \textit{A. Demers} et al., Acta Inf. 17, 349--364 (1982; Zbl 0489.68076) Full Text: DOI