Matches in SemOpenAlex for { <https://semopenalex.org/work/W2359656794> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2359656794 abstract "interpretation theory was proposed by P. Cousot and R. Cousot in 1977, and is widely used in the program’s static analysis domain to construct and approximate the program’s fixpoint semantics. This paper describes the abstract interpretation framework of the program semantics based on the Galois connection, and then discusses three typical applications of the abstract interpretation theory: The program transformation, the program verification techniques about the safety property and the program verification techniques about the liveness property. Finally, it points out the main directions of the program verification techniques based on the abstract interpretation theory." @default.
- W2359656794 created "2016-06-24" @default.
- W2359656794 creator A5072161268 @default.
- W2359656794 date "2008-04-13" @default.
- W2359656794 modified "2023-09-28" @default.
- W2359656794 title "Program Verification Techniques Based on the Abstract Interpretation Theory" @default.
- W2359656794 doi "https://doi.org/10.3724/sp.j.1145.2008.0001" @default.
- W2359656794 hasPublicationYear "2008" @default.
- W2359656794 type Work @default.
- W2359656794 sameAs 2359656794 @default.
- W2359656794 citedByCount "1" @default.
- W2359656794 crossrefType "journal-article" @default.
- W2359656794 hasAuthorship W2359656794A5072161268 @default.
- W2359656794 hasConcept C104317684 @default.
- W2359656794 hasConcept C111472728 @default.
- W2359656794 hasConcept C11413529 @default.
- W2359656794 hasConcept C118615104 @default.
- W2359656794 hasConcept C134306372 @default.
- W2359656794 hasConcept C138885662 @default.
- W2359656794 hasConcept C15569618 @default.
- W2359656794 hasConcept C184337299 @default.
- W2359656794 hasConcept C185592680 @default.
- W2359656794 hasConcept C189950617 @default.
- W2359656794 hasConcept C199360897 @default.
- W2359656794 hasConcept C204241405 @default.
- W2359656794 hasConcept C2777573902 @default.
- W2359656794 hasConcept C2778361913 @default.
- W2359656794 hasConcept C2780654840 @default.
- W2359656794 hasConcept C2780801425 @default.
- W2359656794 hasConcept C33923547 @default.
- W2359656794 hasConcept C36503486 @default.
- W2359656794 hasConcept C41008148 @default.
- W2359656794 hasConcept C527412718 @default.
- W2359656794 hasConcept C55493867 @default.
- W2359656794 hasConcept C80444323 @default.
- W2359656794 hasConcept C98183937 @default.
- W2359656794 hasConceptScore W2359656794C104317684 @default.
- W2359656794 hasConceptScore W2359656794C111472728 @default.
- W2359656794 hasConceptScore W2359656794C11413529 @default.
- W2359656794 hasConceptScore W2359656794C118615104 @default.
- W2359656794 hasConceptScore W2359656794C134306372 @default.
- W2359656794 hasConceptScore W2359656794C138885662 @default.
- W2359656794 hasConceptScore W2359656794C15569618 @default.
- W2359656794 hasConceptScore W2359656794C184337299 @default.
- W2359656794 hasConceptScore W2359656794C185592680 @default.
- W2359656794 hasConceptScore W2359656794C189950617 @default.
- W2359656794 hasConceptScore W2359656794C199360897 @default.
- W2359656794 hasConceptScore W2359656794C204241405 @default.
- W2359656794 hasConceptScore W2359656794C2777573902 @default.
- W2359656794 hasConceptScore W2359656794C2778361913 @default.
- W2359656794 hasConceptScore W2359656794C2780654840 @default.
- W2359656794 hasConceptScore W2359656794C2780801425 @default.
- W2359656794 hasConceptScore W2359656794C33923547 @default.
- W2359656794 hasConceptScore W2359656794C36503486 @default.
- W2359656794 hasConceptScore W2359656794C41008148 @default.
- W2359656794 hasConceptScore W2359656794C527412718 @default.
- W2359656794 hasConceptScore W2359656794C55493867 @default.
- W2359656794 hasConceptScore W2359656794C80444323 @default.
- W2359656794 hasConceptScore W2359656794C98183937 @default.
- W2359656794 hasIssue "1" @default.
- W2359656794 hasLocation W23596567941 @default.
- W2359656794 hasOpenAccess W2359656794 @default.
- W2359656794 hasPrimaryLocation W23596567941 @default.
- W2359656794 hasRelatedWork W107658911 @default.
- W2359656794 hasRelatedWork W1501686914 @default.
- W2359656794 hasRelatedWork W1515127919 @default.
- W2359656794 hasRelatedWork W1541573578 @default.
- W2359656794 hasRelatedWork W1582515573 @default.
- W2359656794 hasRelatedWork W2107955426 @default.
- W2359656794 hasRelatedWork W2152660778 @default.
- W2359656794 hasRelatedWork W2163563828 @default.
- W2359656794 hasRelatedWork W2249042285 @default.
- W2359656794 hasRelatedWork W2281425268 @default.
- W2359656794 hasRelatedWork W2328021163 @default.
- W2359656794 hasRelatedWork W2339645850 @default.
- W2359656794 hasRelatedWork W2406230511 @default.
- W2359656794 hasRelatedWork W2461207484 @default.
- W2359656794 hasRelatedWork W2611140638 @default.
- W2359656794 hasRelatedWork W2886431776 @default.
- W2359656794 hasRelatedWork W2943553270 @default.
- W2359656794 hasRelatedWork W2971407054 @default.
- W2359656794 hasRelatedWork W580100437 @default.
- W2359656794 hasRelatedWork W80817093 @default.
- W2359656794 hasVolume "30" @default.
- W2359656794 isParatext "false" @default.
- W2359656794 isRetracted "false" @default.
- W2359656794 magId "2359656794" @default.
- W2359656794 workType "article" @default.