Learning commutativity specifications
From MaRDI portal
Publication:1702924
DOI10.1007/978-3-319-21690-4_18zbMath1381.68105OpenAlexW1268528572MaRDI QIDQ1702924
Publication date: 1 March 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-21690-4_18
Computational learning theory (68Q32) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
Related Items (2)
Synthesizing precise and useful commutativity conditions ⋮ Decomposing data structure commutativity proofs with \(mn\)-differencing
This page was built for publication: Learning commutativity specifications
