Polymorphic type analysis in logic programs by abstract interpretation

DOI10.1016/S0743-1066(97)10010-3zbMath0905.68035MaRDI QIDQ4208863

Lunjin Lu

Publication date: 24 November 1998

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

polymorphic type analysis of logic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

Checking Emptiness of Non-Deterministic Regular Types with Set Operators ⋮ A polymorphic type dependency analysis for logic programs ⋮ Improving precision of type analysis using non-discriminative union

This page was built for publication: Polymorphic type analysis in logic programs by abstract interpretation