Live data structures in logic programs. Derivation by means of abstract interpretation

DOI10.1007/3-540-56694-5zbMath0786.68022OpenAlexW4206601325MaRDI QIDQ1308632

Anne Mulkers

Publication date: 22 November 1993

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-56694-5

zbMATH Keywords

bibliographylivenesscompiler optimizationlogic programmingabstract interpretationgarbage collection

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17)

This page was built for publication: Live data structures in logic programs. Derivation by means of abstract interpretation