Separation Logic: A Logic for Shared Mutable Data Structures
about
Q22244855-580E85C1-D558-4607-87E6-85F1F1D2DA8CQ29397724-37EA4B17-01A5-4F99-BE18-8DB1398A8FC0Q47700956-DBF78C6C-D9B8-4F15-8080-FBA0C9649067Q53714309-58BA690F-07E2-4EF0-A44B-AD33C79058A7Q56445144-B5EB459C-4E41-43BF-BCED-4F4C53691463Q56504617-0DFE0FC0-29BF-44D5-9A52-E4E9AC6C9957Q57800682-85232807-0297-4C47-8C0B-67ED15C332B3
P2860
Separation Logic: A Logic for Shared Mutable Data Structures
description
Bilimsel yazı
@tr
Teadustekst
@et
article scientifique
@fr
articolo scientifico
@it
artigo científico
@pt
artikull shkencor
@sq
artykuł naukowy
@pl
artículo científico
@es
artículu científicu
@ast
scientific article
@en
name
Separation Logic: A Logic for Shared Mutable Data Structures
@ast
Separation Logic: A Logic for Shared Mutable Data Structures
@en
type
label
Separation Logic: A Logic for Shared Mutable Data Structures
@ast
Separation Logic: A Logic for Shared Mutable Data Structures
@en
prefLabel
Separation Logic: A Logic for Shared Mutable Data Structures
@ast
Separation Logic: A Logic for Shared Mutable Data Structures
@en
P1433
P1476
Separation Logic: A Logic for Shared Mutable Data Structures
@en
P356
10.1109/LICS.2002.1029817