Purging in an equality data base

DOI10.1016/S0020-0190(80)90081-2zbMath0431.68086OpenAlexW2150682713MaRDI QIDQ1138393

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)

Cites Work

• Variations on the Common Subexpression Problem
• Symbolic execution and program testing
• Proving the correctness of heuristically optimized code
• Unnamed Item
• Unnamed Item
• Unnamed Item

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