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

DOI10.1007/3-540-56694-5zbMATH Open0786.68022OpenAlexW4206601325MaRDI QIDQ1308632FDOQ1308632

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

• Title not available (Why is that?) 👍 👎
• Logic programs as compact denotations. 👍 👎
• A practical framework for theabstract interpretation of logic programs 👍 👎
• Title not available (Why is that?) 👍 👎
• 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)