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

DOI10.1007/3-540-56694-5MaRDI QIDQ1308632zbMATH OpenOpenAlexFDO

Authors 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

abstract interpretationbibliographylogic programminglivenessgarbage collectioncompiler optimization

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 879004
• Logic programs as compact denotations.
• A practical framework for theabstract interpretation of logic programs
• scientific article; zbMATH DE number 1954120
• Abstract interpretation and application to logic programs

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1308632)