Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Purging in an equality data base

From MaRDI portal
Publication:1138393
Jump to:navigation, search

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1138393&oldid=13190375"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 31 January 2024, at 04:47.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki