> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Video Titel: Local Reasoning for Global Graph Properties Beteiligte: Krishna, Siddharth [Verfasser:in]; Summers, Alex J. [Sonstige Person, Familie und Körperschaft]; Wies, Thomas [Sonstige Person, Familie und Körperschaft] Erschienen: [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021 Erschienen in: 29th European Symposium on Programming, ESOP 2020 ; (Jan. 2021) Umfang: 1 Online-Ressource (61 MB, 00:17:14:20) Sprache: Englisch DOI: 10.5446/54935 Identifikator: Schlagwörter: Data Structures ; Separation logic ; Local reasoning ; Flow framework ; Graph algorithm Entstehung: Anmerkungen: Audiovisuelles Material Zugangsstatus: Freier Zugang Rechte-/Nutzungshinweise: Namensnennung - Nicht kommerziell (CC BY-NC)