Checker for data structures which sort elements

DOI10.1016/S0020-0190(97)00167-1MaRDI QIDQ293137zbMATH OpenFDO

Authors Izabela Wierzbowska

Publication date 9 June 2016

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

Full work available at URL http://www.sciencedirect.com/science/article/pii/S0020019097001671?np=y

zbMATH Keywords

data structuresresult-checkingsorting

Mathematics Subject Classification ID

Data structures (68P05) Searching and sorting (68P10)

Recommendations

• scientific article; zbMATH DE number 1500483
• Checking the correctness of memories
• Checking and Spot-Checking the Correctness of Priority Queues
• Designing programs that check their work
• scientific article; zbMATH DE number 1775411

Cites work

• Certification of computational results
• Checking the correctness of memories
• Designing programs that check their work
• Reflections on the Pentium division bug
• Self-testing/correcting with applications to numerical problems

Cited in

(2)

• scientific article; zbMATH DE number 1500483 (Why is no real title available?)
• Checking Value-Sensitive Data Structures in Sublinear Space

This page was built for publication: Checker for data structures which sort elements

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