Checker for data structures which sort elements

DOI10.1016/S0020-0190(97)00167-1zbMATH Open1339.68060MaRDI QIDQ293137FDOQ293137

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

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

zbMATH Keywords

data structuressortingresult-checking

Mathematics Subject Classification ID

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

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

Cited In (1)

• 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)