Abstract interpretation based on Alexander Templates

DOI10.1016/0743-1066(93)90012-6zbMath0787.68020OpenAlexW1974411748MaRDI QIDQ4036280

Tadashi Kanamori

Publication date: 16 May 1993

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

Full work available at URL: https://doi.org/10.1016/0743-1066(93)90012-6

zbMATH Keywords

abstract interpretationlogic programlogic databasesbottom-up query evaluationAlexander Templates

Mathematics Subject Classification ID

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

Related Items (2)

Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Abstract interpretation: a kind of magic

This page was built for publication: Abstract interpretation based on Alexander Templates