Path dependent analysis of logic programs

DOI10.1023/A:1025824903683zbMath1074.68009OpenAlexW1986521992MaRDI QIDQ1426866

Lunjin Lu

Publication date: 15 March 2004

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1025824903683

zbMATH Keywords

abstract interpretationcall stringscontext sensitive analysis

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Improving precision of type analysis using non-discriminative union

This page was built for publication: Path dependent analysis of logic programs