Media type: E-Book; Video Title: Local Reasoning for Global Graph Properties Contributor: Krishna, Siddharth [Author]; Summers, Alex J. [Other]; Wies, Thomas [Other] imprint: [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021 Published in: 29th European Symposium on Programming, ESOP 2020 ; (Jan. 2021) Extent: 1 Online-Ressource (61 MB, 00:17:14:20) Language: English DOI: 10.5446/54935 Identifier: Keywords: Data Structures ; Separation logic ; Local reasoning ; Flow framework ; Graph algorithm Origination: Footnote: Audiovisuelles Material Access State: Open Access Rights information: Attribution - Non Commercial (CC BY-NC)