Checker for data structures which sort elements

DOI10.1016/S0020-0190(97)00167-1zbMath1339.68060MaRDI QIDQ293137

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

sortingdata structuresresult-checking

Mathematics Subject Classification ID

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

Cites Work

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

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