Efficient dataflow analysis of logic programs

DOI10.1145/146585.146624zbMath0799.68044OpenAlexW2005247052MaRDI QIDQ4302797

Saumya Debray

Publication date: 21 August 1994

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/146585.146624

zbMATH Keywords

PROLOGprogram analysisterminationlogic programsparallel logic programming languagesdataflow analyses

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Logic programming (68N17)

Related Items (2)

Ordered structures for parallel rule-based computations ⋮ On the complexity of dataflow analysis of logic programs

This page was built for publication: Efficient dataflow analysis of logic programs