Matches in SemOpenAlex for { <https://semopenalex.org/work/W2569595079> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2569595079 abstract "The polyhedral model is widely used for the static analysis of programs, thanks to its expressiveness but it is also time consuming. To cope with this problem, weak-polyhedral analysis have been developed which offer a good trade off between expressiveness and efficiency. Some of these analysis are based on templates which fixed the form of the program’s invariant. These templates are defined statically at the beginning of the analysis, without taking into account the dynamic of programs. Finding good templates is a difficult problem. In this article, we present a method that uses the Principal Component analysis to compute an interesting template. We demonstrate the relevancy of the obtained templates on several benchmarks." @default.
- W2569595079 created "2017-01-13" @default.
- W2569595079 creator A5065063077 @default.
- W2569595079 date "2017-01-01" @default.
- W2569595079 modified "2023-09-25" @default.
- W2569595079 title "Finding Relevant Templates via the Principal Component Analysis" @default.
- W2569595079 cites W1507199453 @default.
- W2569595079 cites W1546399868 @default.
- W2569595079 cites W1568478782 @default.
- W2569595079 cites W1588686192 @default.
- W2569595079 cites W1885187308 @default.
- W2569595079 cites W1969670175 @default.
- W2569595079 cites W2018756497 @default.
- W2569595079 cites W2032908410 @default.
- W2569595079 cites W2043100293 @default.
- W2569595079 cites W2104021743 @default.
- W2569595079 cites W2125027820 @default.
- W2569595079 cites W2128728535 @default.
- W2569595079 cites W2132661148 @default.
- W2569595079 cites W2145201569 @default.
- W2569595079 cites W2161761474 @default.
- W2569595079 cites W3158747708 @default.
- W2569595079 cites W4250589301 @default.
- W2569595079 cites W4292023222 @default.
- W2569595079 doi "https://doi.org/10.1007/978-3-319-52234-0_26" @default.
- W2569595079 hasPublicationYear "2017" @default.
- W2569595079 type Work @default.
- W2569595079 sameAs 2569595079 @default.
- W2569595079 citedByCount "3" @default.
- W2569595079 countsByYear W25695950792018 @default.
- W2569595079 countsByYear W25695950792021 @default.
- W2569595079 crossrefType "book-chapter" @default.
- W2569595079 hasAuthorship W2569595079A5065063077 @default.
- W2569595079 hasConcept C121332964 @default.
- W2569595079 hasConcept C154945302 @default.
- W2569595079 hasConcept C168167062 @default.
- W2569595079 hasConcept C190470478 @default.
- W2569595079 hasConcept C199360897 @default.
- W2569595079 hasConcept C27438332 @default.
- W2569595079 hasConcept C33923547 @default.
- W2569595079 hasConcept C37914503 @default.
- W2569595079 hasConcept C41008148 @default.
- W2569595079 hasConcept C80444323 @default.
- W2569595079 hasConcept C82714645 @default.
- W2569595079 hasConcept C97355855 @default.
- W2569595079 hasConcept C97686452 @default.
- W2569595079 hasConcept C98183937 @default.
- W2569595079 hasConceptScore W2569595079C121332964 @default.
- W2569595079 hasConceptScore W2569595079C154945302 @default.
- W2569595079 hasConceptScore W2569595079C168167062 @default.
- W2569595079 hasConceptScore W2569595079C190470478 @default.
- W2569595079 hasConceptScore W2569595079C199360897 @default.
- W2569595079 hasConceptScore W2569595079C27438332 @default.
- W2569595079 hasConceptScore W2569595079C33923547 @default.
- W2569595079 hasConceptScore W2569595079C37914503 @default.
- W2569595079 hasConceptScore W2569595079C41008148 @default.
- W2569595079 hasConceptScore W2569595079C80444323 @default.
- W2569595079 hasConceptScore W2569595079C82714645 @default.
- W2569595079 hasConceptScore W2569595079C97355855 @default.
- W2569595079 hasConceptScore W2569595079C97686452 @default.
- W2569595079 hasConceptScore W2569595079C98183937 @default.
- W2569595079 hasLocation W25695950791 @default.
- W2569595079 hasOpenAccess W2569595079 @default.
- W2569595079 hasPrimaryLocation W25695950791 @default.
- W2569595079 hasRelatedWork W1583661247 @default.
- W2569595079 hasRelatedWork W1594896933 @default.
- W2569595079 hasRelatedWork W1738454785 @default.
- W2569595079 hasRelatedWork W1879962687 @default.
- W2569595079 hasRelatedWork W1965103502 @default.
- W2569595079 hasRelatedWork W1988106093 @default.
- W2569595079 hasRelatedWork W2034379323 @default.
- W2569595079 hasRelatedWork W21080932 @default.
- W2569595079 hasRelatedWork W2117165009 @default.
- W2569595079 hasRelatedWork W2162544703 @default.
- W2569595079 hasRelatedWork W2266709305 @default.
- W2569595079 hasRelatedWork W2290443195 @default.
- W2569595079 hasRelatedWork W2465107960 @default.
- W2569595079 hasRelatedWork W2490894421 @default.
- W2569595079 hasRelatedWork W2523397378 @default.
- W2569595079 hasRelatedWork W2919430775 @default.
- W2569595079 hasRelatedWork W2967482817 @default.
- W2569595079 hasRelatedWork W1661546922 @default.
- W2569595079 hasRelatedWork W2188748277 @default.
- W2569595079 hasRelatedWork W3145206490 @default.
- W2569595079 isParatext "false" @default.
- W2569595079 isRetracted "false" @default.
- W2569595079 magId "2569595079" @default.
- W2569595079 workType "book-chapter" @default.