Matches in SemOpenAlex for { <https://semopenalex.org/work/W66546368> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W66546368 abstract "Nous nous interessons dans cette these a la preuve formelle de correction des analyses statiques. Nous nous basons sur la theorie de l'interpretation abstraite qui presente une analyse statique comme une semantique approchee d'un programme. Nous utilisons l'assistant de preuve Coq qui permet d'extraire le contenu calculatoire d'une preuve constructive. L'implementation Caml certifiee d'une analyse peut ainsi etre extraite de la preuve d'existence, pour tout programme, d'une approximation correcte de la semantique concrete de ce programme. Nous presentons un cadre theorique fonde sur l'interpretation abstraite et permettant le developpement formel d'une large gamme d'analyses statiques. Une bibliotheque Coq de construction modulaire de treillis est ensuite proposee. Des preuves complexes de terminaison de calcul iteratif de point fixe peuvent ainsi Itre construites par simple composition de foncteurs. Plusieurs cas d'etudes pour l'analyse de programme en bytecode Java sont presentes." @default.
- W66546368 created "2016-06-24" @default.
- W66546368 creator A5046752375 @default.
- W66546368 date "2005-01-01" @default.
- W66546368 modified "2023-09-26" @default.
- W66546368 title "Interprétation abstraite en logique intuitionniste : extraction d'analyseurs Java certifiés" @default.
- W66546368 cites W144074862 @default.
- W66546368 cites W1488927778 @default.
- W66546368 cites W1497011154 @default.
- W66546368 cites W1508641834 @default.
- W66546368 cites W1525726734 @default.
- W66546368 cites W1540546860 @default.
- W66546368 cites W1565777932 @default.
- W66546368 cites W1567887689 @default.
- W66546368 cites W1568478782 @default.
- W66546368 cites W1586367033 @default.
- W66546368 cites W1594975933 @default.
- W66546368 cites W1608082326 @default.
- W66546368 cites W1631760579 @default.
- W66546368 cites W1986402635 @default.
- W66546368 cites W1997456729 @default.
- W66546368 cites W2005917745 @default.
- W66546368 cites W2009375997 @default.
- W66546368 cites W2014764321 @default.
- W66546368 cites W2034711041 @default.
- W66546368 cites W2043100293 @default.
- W66546368 cites W2044758536 @default.
- W66546368 cites W2066946201 @default.
- W66546368 cites W2081810835 @default.
- W66546368 cites W2084875723 @default.
- W66546368 cites W2088126145 @default.
- W66546368 cites W2093397547 @default.
- W66546368 cites W2100050463 @default.
- W66546368 cites W2106192381 @default.
- W66546368 cites W2116590474 @default.
- W66546368 cites W2125346056 @default.
- W66546368 cites W2127005994 @default.
- W66546368 cites W2128180740 @default.
- W66546368 cites W2132661148 @default.
- W66546368 cites W2154929064 @default.
- W66546368 cites W2168254994 @default.
- W66546368 cites W22297848 @default.
- W66546368 cites W2313227953 @default.
- W66546368 cites W2480189323 @default.
- W66546368 cites W412065724 @default.
- W66546368 cites W52562630 @default.
- W66546368 cites W60370665 @default.
- W66546368 cites W89892127 @default.
- W66546368 hasPublicationYear "2005" @default.
- W66546368 type Work @default.
- W66546368 sameAs 66546368 @default.
- W66546368 citedByCount "11" @default.
- W66546368 countsByYear W665463682012 @default.
- W66546368 countsByYear W665463682013 @default.
- W66546368 countsByYear W665463682015 @default.
- W66546368 countsByYear W665463682021 @default.
- W66546368 crossrefType "dissertation" @default.
- W66546368 hasAuthorship W66546368A5046752375 @default.
- W66546368 hasConcept C138885662 @default.
- W66546368 hasConcept C15708023 @default.
- W66546368 hasConceptScore W66546368C138885662 @default.
- W66546368 hasConceptScore W66546368C15708023 @default.
- W66546368 hasLocation W665463681 @default.
- W66546368 hasOpenAccess W66546368 @default.
- W66546368 hasPrimaryLocation W665463681 @default.
- W66546368 hasRelatedWork W1508641834 @default.
- W66546368 hasRelatedWork W1521434182 @default.
- W66546368 hasRelatedWork W1553894716 @default.
- W66546368 hasRelatedWork W1611084195 @default.
- W66546368 hasRelatedWork W1784968340 @default.
- W66546368 hasRelatedWork W1847634121 @default.
- W66546368 hasRelatedWork W1953956482 @default.
- W66546368 hasRelatedWork W1976691484 @default.
- W66546368 hasRelatedWork W2009375997 @default.
- W66546368 hasRelatedWork W2014764321 @default.
- W66546368 hasRelatedWork W2043100293 @default.
- W66546368 hasRelatedWork W2052735108 @default.
- W66546368 hasRelatedWork W2080575293 @default.
- W66546368 hasRelatedWork W2084875723 @default.
- W66546368 hasRelatedWork W2129695855 @default.
- W66546368 hasRelatedWork W2132661148 @default.
- W66546368 hasRelatedWork W52562630 @default.
- W66546368 hasRelatedWork W60370665 @default.
- W66546368 hasRelatedWork W84457820 @default.
- W66546368 hasRelatedWork W2524618971 @default.
- W66546368 isParatext "false" @default.
- W66546368 isRetracted "false" @default.
- W66546368 magId "66546368" @default.
- W66546368 workType "dissertation" @default.