Matches in SemOpenAlex for { <https://semopenalex.org/work/W1496753323> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1496753323 abstract "This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate— and deallocate—new objects and threads. Establishing liveness properties is a particularly hard challenge. One of the crucial obstacles is that heap locations have no static names and the number of heap locations is unbounded. The paper presents a framework for the verification of Java-like programs. Unlike classical model checking, which uses propositional temporal logic, we use first-order modal logic to specify temporal properties of heap evolutions; this logic allows domain changes to be expressed, which permits allocation and deallocation to be modelled naturally. The paper also presents an abstract-interpretation algorithm that automatically verifies temporal properties expressed using the logic." @default.
- W1496753323 created "2016-06-24" @default.
- W1496753323 creator A5002512849 @default.
- W1496753323 creator A5061044883 @default.
- W1496753323 creator A5066155126 @default.
- W1496753323 creator A5071295289 @default.
- W1496753323 date "2002-01-01" @default.
- W1496753323 modified "2023-10-17" @default.
- W1496753323 title "Automatic Verification of Temporal Properties of Concurrent Heap-Manipulating Programs using Evolution Logic" @default.
- W1496753323 cites W1488858096 @default.
- W1496753323 cites W1533082687 @default.
- W1496753323 cites W1536946401 @default.
- W1496753323 cites W1537003042 @default.
- W1496753323 cites W1540180001 @default.
- W1496753323 cites W1560028438 @default.
- W1496753323 cites W1595593557 @default.
- W1496753323 cites W180747137 @default.
- W1496753323 cites W1966571454 @default.
- W1496753323 cites W1990609140 @default.
- W1496753323 cites W1991837261 @default.
- W1496753323 cites W1996832037 @default.
- W1496753323 cites W2007541742 @default.
- W1496753323 cites W2043100293 @default.
- W1496753323 cites W2068080096 @default.
- W1496753323 cites W2108959714 @default.
- W1496753323 cites W2163751633 @default.
- W1496753323 cites W2340735175 @default.
- W1496753323 cites W2753423575 @default.
- W1496753323 cites W2913459036 @default.
- W1496753323 cites W93751600 @default.
- W1496753323 hasPublicationYear "2002" @default.
- W1496753323 type Work @default.
- W1496753323 sameAs 1496753323 @default.
- W1496753323 citedByCount "0" @default.
- W1496753323 crossrefType "journal-article" @default.
- W1496753323 hasAuthorship W1496753323A5002512849 @default.
- W1496753323 hasAuthorship W1496753323A5061044883 @default.
- W1496753323 hasAuthorship W1496753323A5066155126 @default.
- W1496753323 hasAuthorship W1496753323A5071295289 @default.
- W1496753323 hasConcept C11648818 @default.
- W1496753323 hasConcept C134757568 @default.
- W1496753323 hasConcept C15569618 @default.
- W1496753323 hasConcept C162670838 @default.
- W1496753323 hasConcept C199360897 @default.
- W1496753323 hasConcept C25016198 @default.
- W1496753323 hasConcept C41008148 @default.
- W1496753323 hasConcept C4777664 @default.
- W1496753323 hasConcept C548217200 @default.
- W1496753323 hasConcept C80444323 @default.
- W1496753323 hasConceptScore W1496753323C11648818 @default.
- W1496753323 hasConceptScore W1496753323C134757568 @default.
- W1496753323 hasConceptScore W1496753323C15569618 @default.
- W1496753323 hasConceptScore W1496753323C162670838 @default.
- W1496753323 hasConceptScore W1496753323C199360897 @default.
- W1496753323 hasConceptScore W1496753323C25016198 @default.
- W1496753323 hasConceptScore W1496753323C41008148 @default.
- W1496753323 hasConceptScore W1496753323C4777664 @default.
- W1496753323 hasConceptScore W1496753323C548217200 @default.
- W1496753323 hasConceptScore W1496753323C80444323 @default.
- W1496753323 hasLocation W14967533231 @default.
- W1496753323 hasOpenAccess W1496753323 @default.
- W1496753323 hasPrimaryLocation W14967533231 @default.
- W1496753323 hasRelatedWork W142171215 @default.
- W1496753323 hasRelatedWork W1515452107 @default.
- W1496753323 hasRelatedWork W1546948343 @default.
- W1496753323 hasRelatedWork W1565082713 @default.
- W1496753323 hasRelatedWork W1759455432 @default.
- W1496753323 hasRelatedWork W1792172281 @default.
- W1496753323 hasRelatedWork W1849529882 @default.
- W1496753323 hasRelatedWork W1875868519 @default.
- W1496753323 hasRelatedWork W1990092944 @default.
- W1496753323 hasRelatedWork W1996240625 @default.
- W1496753323 hasRelatedWork W2007635637 @default.
- W1496753323 hasRelatedWork W2011716301 @default.
- W1496753323 hasRelatedWork W2118721394 @default.
- W1496753323 hasRelatedWork W2153903356 @default.
- W1496753323 hasRelatedWork W2234078087 @default.
- W1496753323 hasRelatedWork W2281584718 @default.
- W1496753323 hasRelatedWork W2605251839 @default.
- W1496753323 hasRelatedWork W2897928429 @default.
- W1496753323 hasRelatedWork W79595156 @default.
- W1496753323 hasRelatedWork W96249932 @default.
- W1496753323 isParatext "false" @default.
- W1496753323 isRetracted "false" @default.
- W1496753323 magId "1496753323" @default.
- W1496753323 workType "article" @default.