FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2240565586> ?p ?o ?g. }

• W2240565586 abstract "Dans la these nous presentons un cadre pour l'analyse statique de langages orientes objets qui tient compte des proprietes de modularite de ces langages. Il y a plusieurs defis a relever pour obtenir une analyse statique efficace de langages orientes objet. Tout d'abord, elle doit gerer les particularites de ces langages telles que l'heritage, le polymorphisme et la resolution de methodes virtuelles. Deuxiemement, elle doit etre modulaire. En fait, les programmes orientes objet typiques sont fait de plusieurs milliers de classes et une analyse monolithique du programmes complet peut etre trop couteuse pour etre pratiquee. Troisiemement, la technologie orientee objet favorise la programmation par composants, en cela qu'un composant (une classe) est developpee une fois pour toute et utilisee dans de nombreux contextes differents. Aussi, une analyse statique efficace doit pouvoir inferee des proprietes des composants valides pour toutes les instantiations possibles de contextes. Dans cette these, nous presentons une analyse qui releve les defis esquisses ci-dessus. En particulier, nous nous concentrons sur une analyse qui peut inferer des invariants de classe. Un invariant de classe est une propriete d'une classe valide pour chaque instanciation, avant et apres l'execution de n'importe quelle methode de la classe. Notre analyse a plusieurs avantages. Elle est independante du langage, elle exploite la structure modulaire des langages orientes objet et elle gere les principales fonctionnalites de ces langages, a savoir l'heritage, le polymorphisme et l'encapsulation. Le cadre presente dans cette these est tres flexible. En particulier, il permet de regler finement l'analyse selon les trois axes orthogonaux suivants: - Domaine abstrait sous-jacent: une classe peut etre analysee en utilisant soit un domaine abstrait generique soit un domaine abstrait symbolique de facon a obtenir une analyse plus efficace mais moins precise. - Gestion de l'heritage: une sous-classe peut etre analysee soit directement, en expansant syntaxiquement la relation de sous-classe, soit indirectement, en utilisant l'invariant du parent afin d'eviter une explosion quadratique de la complexite. -Traitement des contextes d'instantiation: une classe peut etre utilisee soit independamment du contexte, afin d'obtenir un resultat valable dans tous les contextes, soit en utilisant une approximation du contexte afin d'obtenir un resultat plus precis mais moins general." @default.
• W2240565586 created "2016-06-24" @default.
• W2240565586 creator A5058389738 @default.
• W2240565586 date "2004-06-15" @default.
• W2240565586 modified "2023-09-24" @default.
• W2240565586 title "Analyse statique modulaire des langages à objet." @default.
• W2240565586 cites W1490228606 @default.
• W2240565586 cites W1498946538 @default.
• W2240565586 cites W1514258760 @default.
• W2240565586 cites W1520500641 @default.
• W2240565586 cites W1521711401 @default.
• W2240565586 cites W1532892735 @default.
• W2240565586 cites W1544564247 @default.
• W2240565586 cites W1544633123 @default.
• W2240565586 cites W1550050390 @default.
• W2240565586 cites W1550712205 @default.
• W2240565586 cites W1555946950 @default.
• W2240565586 cites W1559130486 @default.
• W2240565586 cites W1580344507 @default.
• W2240565586 cites W1583095677 @default.
• W2240565586 cites W1584436405 @default.
• W2240565586 cites W1585262231 @default.
• W2240565586 cites W1587113895 @default.
• W2240565586 cites W1591007360 @default.
• W2240565586 cites W1592156765 @default.
• W2240565586 cites W1593874741 @default.
• W2240565586 cites W1600469512 @default.
• W2240565586 cites W1638559933 @default.
• W2240565586 cites W1726736548 @default.
• W2240565586 cites W1770006921 @default.
• W2240565586 cites W1774989331 @default.
• W2240565586 cites W1783929070 @default.
• W2240565586 cites W1966571454 @default.
• W2240565586 cites W1974604404 @default.
• W2240565586 cites W1982746231 @default.
• W2240565586 cites W1987253168 @default.
• W2240565586 cites W1993836075 @default.
• W2240565586 cites W1995008247 @default.
• W2240565586 cites W1998017916 @default.
• W2240565586 cites W2008609084 @default.
• W2240565586 cites W2014764321 @default.
• W2240565586 cites W2016962272 @default.
• W2240565586 cites W2028883038 @default.
• W2240565586 cites W2029414465 @default.
• W2240565586 cites W2043100293 @default.
• W2240565586 cites W2046160987 @default.
• W2240565586 cites W2046213250 @default.
• W2240565586 cites W2054675073 @default.
• W2240565586 cites W2054796180 @default.
• W2240565586 cites W2057835515 @default.
• W2240565586 cites W2068328548 @default.
• W2240565586 cites W2068606617 @default.
• W2240565586 cites W2072162091 @default.
• W2240565586 cites W2074436507 @default.
• W2240565586 cites W2075091218 @default.
• W2240565586 cites W2076063371 @default.
• W2240565586 cites W2079289292 @default.
• W2240565586 cites W2081810835 @default.
• W2240565586 cites W2084875723 @default.
• W2240565586 cites W2087403174 @default.
• W2240565586 cites W2098495346 @default.
• W2240565586 cites W2114404773 @default.
• W2240565586 cites W2115680394 @default.
• W2240565586 cites W2118968163 @default.
• W2240565586 cites W2127600624 @default.
• W2240565586 cites W2132661148 @default.
• W2240565586 cites W2135785452 @default.
• W2240565586 cites W2140086559 @default.
• W2240565586 cites W2140604173 @default.
• W2240565586 cites W2142481893 @default.
• W2240565586 cites W2145459199 @default.
• W2240565586 cites W2153060956 @default.
• W2240565586 cites W2164496154 @default.
• W2240565586 cites W2168986107 @default.
• W2240565586 cites W2170736936 @default.
• W2240565586 cites W2173184982 @default.
• W2240565586 cites W2323777246 @default.
• W2240565586 cites W2915015834 @default.
• W2240565586 cites W3003304722 @default.
• W2240565586 cites W3029115295 @default.
• W2240565586 cites W52562630 @default.
• W2240565586 cites W2122933424 @default.
• W2240565586 cites W2129546205 @default.
• W2240565586 hasPublicationYear "2004" @default.
• W2240565586 type Work @default.
• W2240565586 sameAs 2240565586 @default.
• W2240565586 citedByCount "0" @default.
• W2240565586 crossrefType "dissertation" @default.
• W2240565586 hasAuthorship W2240565586A5058389738 @default.
• W2240565586 hasConcept C138885662 @default.
• W2240565586 hasConcept C144024400 @default.
• W2240565586 hasConcept C15708023 @default.
• W2240565586 hasConceptScore W2240565586C138885662 @default.
• W2240565586 hasConceptScore W2240565586C144024400 @default.
• W2240565586 hasConceptScore W2240565586C15708023 @default.
• W2240565586 hasLocation W22405655861 @default.
• W2240565586 hasOpenAccess W2240565586 @default.
• W2240565586 hasPrimaryLocation W22405655861 @default.
• W2240565586 isParatext "false" @default.
• W2240565586 isRetracted "false" @default.

• next