A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages
From MaRDI portal
Publication:1380123
DOI10.1016/S0167-6423(97)00009-9zbMath0891.68056MaRDI QIDQ1380123
Publication date: 19 July 1998
Published in: Science of Computer Programming (Search for Journal in Brave)
68Q45: Formal languages and automata
Related Items