scientific article

zbMath0605.68090MaRDI QIDQ3742761

Harald Søndergaard

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

unificationlogic programmingabstract interpretation principle

Mathematics Subject Classification ID

Related Items (13)

Pair-independence and freeness analysis through linear refinement. ⋮ Deriving escape analysis by abstract interpretation ⋮ Precise goal-independent abstract interpretation of constraint logic programs. ⋮ Parallel Logic Programming: A Sequel ⋮ A relaxed condition for avoiding the occur-check ⋮ Design of abstract domains using first-order logic ⋮ Non-discriminating Arguments and Their Uses ⋮ Difference-list transformation for Prolog ⋮ Non-strict independence-based program parallelization using sharing and freeness information ⋮ Negative Ternary Set-Sharing ⋮ Set-sharing is redundant for pair-sharing ⋮ A freeness and sharing analysis of logic programs based on a pre-interpretation ⋮ Finite-tree analysis for constraint logic-based languages

This page was built for publication: