Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566875065> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1566875065 abstract "Analyzing programs with abstract interpretation often requires to use a combination of forward and backward analyzes. However, the forward analyzes are mostly reachability analyzes, which are often not precise enough when we want to check other temporal properties. In this paper we propose to combine transition systems with temporal properties (with backward modalities) to get extended transition systems. We define forward and backward semantics for these systems, and give indications for their combination. These semantics, which use set of trees, can be abstracted to make more precise forward and backward analyzes of programs. The combinations of these analyzes are expected to give better results than the current abstract analyzes." @default.
- W1566875065 created "2016-06-24" @default.
- W1566875065 creator A5052779554 @default.
- W1566875065 date "2002-01-01" @default.
- W1566875065 modified "2023-09-23" @default.
- W1566875065 title "Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties" @default.
- W1566875065 cites W1594447661 @default.
- W1566875065 cites W1966571454 @default.
- W1566875065 cites W2043100293 @default.
- W1566875065 cites W2084875723 @default.
- W1566875065 cites W2132661148 @default.
- W1566875065 doi "https://doi.org/10.1007/3-540-45789-5_30" @default.
- W1566875065 hasPublicationYear "2002" @default.
- W1566875065 type Work @default.
- W1566875065 sameAs 1566875065 @default.
- W1566875065 citedByCount "5" @default.
- W1566875065 crossrefType "book-chapter" @default.
- W1566875065 hasAuthorship W1566875065A5052779554 @default.
- W1566875065 hasConcept C136643341 @default.
- W1566875065 hasConcept C156325763 @default.
- W1566875065 hasConcept C177264268 @default.
- W1566875065 hasConcept C184337299 @default.
- W1566875065 hasConcept C199360897 @default.
- W1566875065 hasConcept C2779167558 @default.
- W1566875065 hasConcept C2780654840 @default.
- W1566875065 hasConcept C41008148 @default.
- W1566875065 hasConcept C527412718 @default.
- W1566875065 hasConcept C80444323 @default.
- W1566875065 hasConceptScore W1566875065C136643341 @default.
- W1566875065 hasConceptScore W1566875065C156325763 @default.
- W1566875065 hasConceptScore W1566875065C177264268 @default.
- W1566875065 hasConceptScore W1566875065C184337299 @default.
- W1566875065 hasConceptScore W1566875065C199360897 @default.
- W1566875065 hasConceptScore W1566875065C2779167558 @default.
- W1566875065 hasConceptScore W1566875065C2780654840 @default.
- W1566875065 hasConceptScore W1566875065C41008148 @default.
- W1566875065 hasConceptScore W1566875065C527412718 @default.
- W1566875065 hasConceptScore W1566875065C80444323 @default.
- W1566875065 hasLocation W15668750651 @default.
- W1566875065 hasOpenAccess W1566875065 @default.
- W1566875065 hasPrimaryLocation W15668750651 @default.
- W1566875065 hasRelatedWork W1017180521 @default.
- W1566875065 hasRelatedWork W1520581430 @default.
- W1566875065 hasRelatedWork W1583968582 @default.
- W1566875065 hasRelatedWork W2003773532 @default.
- W1566875065 hasRelatedWork W2046160987 @default.
- W1566875065 hasRelatedWork W2092412604 @default.
- W1566875065 hasRelatedWork W2143665015 @default.
- W1566875065 hasRelatedWork W2171848757 @default.
- W1566875065 hasRelatedWork W2477338659 @default.
- W1566875065 hasRelatedWork W2751326373 @default.
- W1566875065 hasRelatedWork W2760914093 @default.
- W1566875065 hasRelatedWork W2810340194 @default.
- W1566875065 hasRelatedWork W2899262598 @default.
- W1566875065 hasRelatedWork W2909820718 @default.
- W1566875065 hasRelatedWork W2949497562 @default.
- W1566875065 hasRelatedWork W3022535823 @default.
- W1566875065 hasRelatedWork W3159133453 @default.
- W1566875065 hasRelatedWork W1677782993 @default.
- W1566875065 hasRelatedWork W2519207071 @default.
- W1566875065 hasRelatedWork W3021482614 @default.
- W1566875065 isParatext "false" @default.
- W1566875065 isRetracted "false" @default.
- W1566875065 magId "1566875065" @default.
- W1566875065 workType "book-chapter" @default.