Purging in an equality data base

DOI10.1016/S0020-0190(80)90081-2MaRDI QIDQ1138393zbMATH OpenOpenAlexFDO

Authors Hanan Samet, Leo Marcus

Publication date 1980

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0020-0190(80)90081-2

zbMATH Keywords

purgingon-line algorithmsequality data basesymbolic machine execution

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Online algorithms; streaming algorithms (68W27)

Recommendations

• Justifying equality
• Term Rewriting and Applications
• scientific article; zbMATH DE number 3922023
• On the Fixpoint Theory of Equality and Its Applications
• scientific article; zbMATH DE number 44621

Cites work

• scientific article; zbMATH DE number 3303654 (Why is no real title available?)
• scientific article; zbMATH DE number 3388535 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• Proving the correctness of heuristically optimized code
• Symbolic execution and program testing
• Variations on the Common Subexpression Problem

This page was built for publication: Purging in an equality data base

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