Checking and Spot-Checking the Correctness of Priority Queues

DOI10.1007/978-3-540-73420-8_63zbMath1171.68433OpenAlexW2130235112MaRDI QIDQ5428854

Matthew Chu, Sampath Kannan, Andrew McGregor

Publication date: 28 November 2007

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73420-8_63

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items (1)

Resilient dynamic programming

This page was built for publication: Checking and Spot-Checking the Correctness of Priority Queues