Data abstraction: a general framework to handle program verification of data structures. (English) Zbl 1497.68108
Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 215-235 (2021).