Matches in SemOpenAlex for { <https://semopenalex.org/work/W2041030963> ?p ?o ?g. }
- W2041030963 endingPage "99" @default.
- W2041030963 startingPage "50" @default.
- W2041030963 abstract "Like modal logic, temporal logic, and description logic, separation logic has become a popular class of logical formalisms in computer science, conceived as assertion languages for Hoare-style proof systems with the goal to perform automatic program analysis. In a broad sense, separation logic is often understood as a programming language, an assertion language and a family of rules involving Hoare triples. In this survey, we present similarities between separation logic as an assertion language and modal and temporal logics. Moreover, we propose a selection of landmark results about decidability, complexity and expressive power." @default.
- W2041030963 created "2016-06-24" @default.
- W2041030963 creator A5049264484 @default.
- W2041030963 creator A5060413318 @default.
- W2041030963 date "2015-01-02" @default.
- W2041030963 modified "2023-10-16" @default.
- W2041030963 title "Separation logics and modalities: a survey" @default.
- W2041030963 cites W100246148 @default.
- W2041030963 cites W102617053 @default.
- W2041030963 cites W122465024 @default.
- W2041030963 cites W135237429 @default.
- W2041030963 cites W144022046 @default.
- W2041030963 cites W1480415539 @default.
- W2041030963 cites W1481397690 @default.
- W2041030963 cites W1485199833 @default.
- W2041030963 cites W1485718948 @default.
- W2041030963 cites W1486095773 @default.
- W2041030963 cites W1489366126 @default.
- W2041030963 cites W1503421880 @default.
- W2041030963 cites W1505383182 @default.
- W2041030963 cites W1506554338 @default.
- W2041030963 cites W1506588809 @default.
- W2041030963 cites W1508482211 @default.
- W2041030963 cites W1509296872 @default.
- W2041030963 cites W1519981183 @default.
- W2041030963 cites W1525959920 @default.
- W2041030963 cites W1531216989 @default.
- W2041030963 cites W1542111937 @default.
- W2041030963 cites W1543958520 @default.
- W2041030963 cites W1549008998 @default.
- W2041030963 cites W1570374618 @default.
- W2041030963 cites W1575080936 @default.
- W2041030963 cites W1580779595 @default.
- W2041030963 cites W1589421353 @default.
- W2041030963 cites W1591716390 @default.
- W2041030963 cites W1592461507 @default.
- W2041030963 cites W1601983063 @default.
- W2041030963 cites W1603300426 @default.
- W2041030963 cites W1619948012 @default.
- W2041030963 cites W162588085 @default.
- W2041030963 cites W170987886 @default.
- W2041030963 cites W1819989006 @default.
- W2041030963 cites W1826178160 @default.
- W2041030963 cites W1841862047 @default.
- W2041030963 cites W1910824881 @default.
- W2041030963 cites W1965702335 @default.
- W2041030963 cites W1982129592 @default.
- W2041030963 cites W1983255876 @default.
- W2041030963 cites W1987019087 @default.
- W2041030963 cites W198918365 @default.
- W2041030963 cites W1991755574 @default.
- W2041030963 cites W200063938 @default.
- W2041030963 cites W2008132476 @default.
- W2041030963 cites W2013474929 @default.
- W2041030963 cites W2014246868 @default.
- W2041030963 cites W2017959340 @default.
- W2041030963 cites W2018462672 @default.
- W2041030963 cites W2019145653 @default.
- W2041030963 cites W2023808162 @default.
- W2041030963 cites W2025535135 @default.
- W2041030963 cites W2025750846 @default.
- W2041030963 cites W2029632316 @default.
- W2041030963 cites W2032230034 @default.
- W2041030963 cites W2035490172 @default.
- W2041030963 cites W2047674711 @default.
- W2041030963 cites W2056665285 @default.
- W2041030963 cites W2057502281 @default.
- W2041030963 cites W2061341742 @default.
- W2041030963 cites W2068458083 @default.
- W2041030963 cites W2073491323 @default.
- W2041030963 cites W2073614038 @default.
- W2041030963 cites W2081396910 @default.
- W2041030963 cites W2083905661 @default.
- W2041030963 cites W2092534351 @default.
- W2041030963 cites W2097980898 @default.
- W2041030963 cites W2099577392 @default.
- W2041030963 cites W2101526176 @default.
- W2041030963 cites W2102598450 @default.
- W2041030963 cites W2102928769 @default.
- W2041030963 cites W2103490167 @default.
- W2041030963 cites W2107677927 @default.
- W2041030963 cites W2108611287 @default.
- W2041030963 cites W2110499608 @default.
- W2041030963 cites W2113800199 @default.
- W2041030963 cites W21201483 @default.
- W2041030963 cites W2122066631 @default.
- W2041030963 cites W2124580444 @default.
- W2041030963 cites W2131238121 @default.
- W2041030963 cites W2137628566 @default.
- W2041030963 cites W2138559037 @default.
- W2041030963 cites W2139748880 @default.
- W2041030963 cites W2140865947 @default.
- W2041030963 cites W2144482530 @default.
- W2041030963 cites W2148687959 @default.
- W2041030963 cites W2149381381 @default.
- W2041030963 cites W2153417525 @default.
- W2041030963 cites W2153871866 @default.
- W2041030963 cites W2155581733 @default.