Matches in SemOpenAlex for { <https://semopenalex.org/work/W2169576735> ?p ?o ?g. }
- W2169576735 abstract "In this thesis I show is that it is possible to give modular correctness proofs of interesting higher-order imperative programs using higher-order separation logic. To do this, I develop a model higher-order imperative programming language, and develop a program logic for it. I demonstrate the power of my program logic by verifying a series of examples. This includes both realistic patterns of higher-order imperative programming such as the subject-observer pattern, as well as examples demonstrating the use of higher-order logic to reason modularly about highly aliased data structures such as the union-find disjoint set algorithm." @default.
- W2169576735 created "2016-06-24" @default.
- W2169576735 creator A5089290356 @default.
- W2169576735 creator A5091372985 @default.
- W2169576735 date "2012-01-01" @default.
- W2169576735 modified "2023-09-28" @default.
- W2169576735 title "Verifying higher-order imperative programs with higher-order separation logic" @default.
- W2169576735 cites W1480685649 @default.
- W2169576735 cites W1481668298 @default.
- W2169576735 cites W1489778371 @default.
- W2169576735 cites W1501715400 @default.
- W2169576735 cites W1503579586 @default.
- W2169576735 cites W1511544588 @default.
- W2169576735 cites W1511982475 @default.
- W2169576735 cites W1548974835 @default.
- W2169576735 cites W1556536463 @default.
- W2169576735 cites W1587947078 @default.
- W2169576735 cites W1595465781 @default.
- W2169576735 cites W1598065184 @default.
- W2169576735 cites W1649645444 @default.
- W2169576735 cites W1677332761 @default.
- W2169576735 cites W1790417275 @default.
- W2169576735 cites W1819989006 @default.
- W2169576735 cites W1861989620 @default.
- W2169576735 cites W1887185653 @default.
- W2169576735 cites W1903525885 @default.
- W2169576735 cites W1959256509 @default.
- W2169576735 cites W1972316716 @default.
- W2169576735 cites W1975076763 @default.
- W2169576735 cites W1976678664 @default.
- W2169576735 cites W1979191543 @default.
- W2169576735 cites W1986022261 @default.
- W2169576735 cites W1988824860 @default.
- W2169576735 cites W1997143185 @default.
- W2169576735 cites W200367367 @default.
- W2169576735 cites W2022132320 @default.
- W2169576735 cites W2024873396 @default.
- W2169576735 cites W2030601112 @default.
- W2169576735 cites W2034043336 @default.
- W2169576735 cites W2053154567 @default.
- W2169576735 cites W2057292961 @default.
- W2169576735 cites W2068352674 @default.
- W2169576735 cites W2080769562 @default.
- W2169576735 cites W2094015376 @default.
- W2169576735 cites W2100878175 @default.
- W2169576735 cites W2101344335 @default.
- W2169576735 cites W2104204098 @default.
- W2169576735 cites W2106229114 @default.
- W2169576735 cites W2109772966 @default.
- W2169576735 cites W2124461564 @default.
- W2169576735 cites W2125505801 @default.
- W2169576735 cites W2137628566 @default.
- W2169576735 cites W2138162238 @default.
- W2169576735 cites W2138865396 @default.
- W2169576735 cites W2144058993 @default.
- W2169576735 cites W2171685273 @default.
- W2169576735 cites W2478146632 @default.
- W2169576735 cites W2914920194 @default.
- W2169576735 cites W3049713846 @default.
- W2169576735 cites W3098880932 @default.
- W2169576735 cites W3146075203 @default.
- W2169576735 hasPublicationYear "2012" @default.
- W2169576735 type Work @default.
- W2169576735 sameAs 2169576735 @default.
- W2169576735 citedByCount "5" @default.
- W2169576735 countsByYear W21695767352012 @default.
- W2169576735 countsByYear W21695767352013 @default.
- W2169576735 countsByYear W21695767352014 @default.
- W2169576735 countsByYear W21695767352015 @default.
- W2169576735 countsByYear W21695767352018 @default.
- W2169576735 crossrefType "journal-article" @default.
- W2169576735 hasAuthorship W2169576735A5089290356 @default.
- W2169576735 hasAuthorship W2169576735A5091372985 @default.
- W2169576735 hasConcept C10138342 @default.
- W2169576735 hasConcept C102993220 @default.
- W2169576735 hasConcept C108710211 @default.
- W2169576735 hasConcept C128838566 @default.
- W2169576735 hasConcept C162324750 @default.
- W2169576735 hasConcept C169896238 @default.
- W2169576735 hasConcept C173856430 @default.
- W2169576735 hasConcept C182306322 @default.
- W2169576735 hasConcept C189790780 @default.
- W2169576735 hasConcept C199360897 @default.
- W2169576735 hasConcept C2524010 @default.
- W2169576735 hasConcept C33923547 @default.
- W2169576735 hasConcept C41008148 @default.
- W2169576735 hasConcept C55439883 @default.
- W2169576735 hasConcept C80444323 @default.
- W2169576735 hasConceptScore W2169576735C10138342 @default.
- W2169576735 hasConceptScore W2169576735C102993220 @default.
- W2169576735 hasConceptScore W2169576735C108710211 @default.
- W2169576735 hasConceptScore W2169576735C128838566 @default.
- W2169576735 hasConceptScore W2169576735C162324750 @default.
- W2169576735 hasConceptScore W2169576735C169896238 @default.
- W2169576735 hasConceptScore W2169576735C173856430 @default.
- W2169576735 hasConceptScore W2169576735C182306322 @default.
- W2169576735 hasConceptScore W2169576735C189790780 @default.
- W2169576735 hasConceptScore W2169576735C199360897 @default.
- W2169576735 hasConceptScore W2169576735C2524010 @default.
- W2169576735 hasConceptScore W2169576735C33923547 @default.