Filtrer vos résultats
- 9
- 8
- 1
- 9
- 2
- 1
- 3
- 1
- 1
- 1
- 7
- 2
- 7
- 4
- 2
- 2
- 1
- 1
- 1
- 9
- 7
- 5
- 1
- 1
- 1
- 1
9 résultats
|
|
triés par
|
|
Analyse statique de valeurs par interprétation abstraite de programmes fonctionnels manipulant des types algébriques récursifsJFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.211-242
Communication dans un congrès
hal-03936718v2
|
||
|
Value and Allocation Sensitivity in Static Python Analyses9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Jun 2020, London, United Kingdom. pp.8-13, ⟨10.1145/3394451.3397205⟩
Communication dans un congrès
hal-02876667v1
|
||
|
A Multilanguage Static Analysis of Python Programs with Native C ExtensionsStatic Analysis Symposium (SAS), Oct 2021, Chicago, Illinois, United States
Communication dans un congrès
hal-03313409v1
|
||
|
Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference AbstractionsVerification, Model Checking, and Abstract Interpretation (VMCAI) 2017, Jan 2017, Paris, France. pp.386-404, ⟨10.1007/978-3-319-52234-0_21⟩
Communication dans un congrès
hal-01490178v1
|
||
|
Étude formelle de l'implémentation du code des impôtsJFLA 2020 - 31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
Communication dans un congrès
hal-02320347v3
|
||
|
Static Type Analysis by Abstract Interpretation of Python Programs34th European Conference on Object-Oriented Programming (ECOOP 2020), Nov 2020, Berlin (Virtual / Covid), Germany. ⟨10.4230/LIPIcs.ECOOP.2020.17⟩
Communication dans un congrès
hal-02994000v1
|
||
|
Combinations of Reusable Abstract Domains for a Multilingual Static AnalyzerVSTTE 2019 : 11th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2019, New York, United States. pp.1-18, ⟨10.1007/978-3-030-41600-3_1⟩
Communication dans un congrès
hal-02890500v1
|
||
|
Static Analysis by Abstract Interpretation Collecting Types of Python Programs[Internship report] LIP6 - Laboratoire d'Informatique de Paris 6. 2018
Rapport
hal-01869049v1
|
||
|
Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution)Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Apr 2023, Paris, France. pp.565-570, ⟨10.1007/978-3-031-30820-8_37⟩
Communication dans un congrès
hal-04077678v1
|