-
1Report
مصطلحات موضوعية: Computer Science - Computation and Language, Computer Science - Artificial Intelligence
URL الوصول: http://arxiv.org/abs/2407.01126
-
2Report
-
3Report
مصطلحات موضوعية: Computer Science - Computation and Language
URL الوصول: http://arxiv.org/abs/2306.07763
-
4Report
-
5Report
المؤلفون: Mohammadshahi, Alireza, Nikoulina, Vassilina, Berard, Alexandre, Brun, Caroline, Henderson, James, Besacier, Laurent
مصطلحات موضوعية: Computer Science - Computation and Language, Computer Science - Artificial Intelligence, Computer Science - Machine Learning
URL الوصول: http://arxiv.org/abs/2210.11621
-
6Report
المؤلفون: Mohammadshahi, Alireza, Nikoulina, Vassilina, Berard, Alexandre, Brun, Caroline, Henderson, James, Besacier, Laurent
مصطلحات موضوعية: Computer Science - Computation and Language, Computer Science - Artificial Intelligence, Computer Science - Machine Learning
URL الوصول: http://arxiv.org/abs/2205.10828
-
7Report
-
8
-
9Report
-
10
-
11Report
المؤلفون: Bérard, Alexandre, Kim, Zae Myung, Nikoulina, Vassilina, Park, Eunjeong L., Gallé, Matthias
URL الوصول: http://arxiv.org/abs/2008.02878
-
12Dissertation/ Thesis
المؤلفون: Bérard, Alexandre
Thesis Advisors: Lille 1, Pietquin, Olivier, Besacier, Laurent
-
13Report
المؤلفون: Bérard, Alexandre, Calapodescu, Ioan, Dymetman, Marc, Roux, Claude, Meunier, Jean-Luc, Nikoulina, Vassilina
مصطلحات موضوعية: Computer Science - Computation and Language
URL الوصول: http://arxiv.org/abs/1910.14589
-
14Report
مصطلحات موضوعية: Computer Science - Computation and Language
URL الوصول: http://arxiv.org/abs/1910.14539
-
15
-
16Report
-
17Report
-
18Report
مصطلحات موضوعية: Computer Science - Computation and Language
URL الوصول: http://arxiv.org/abs/1709.05631
-
19Report
-
20Academic Journal
المصدر: Proceedings of the ACM on Programming Languages, (2023-09-04) ; OOPSLA, Object-Oriented Programming, Systems, Languages & Applications, Cascais, Portugal, 22-27 October, 2023
مصطلحات موضوعية: Formal verification of compiler optimizations, The Coq proof assistant, Translation validation, Symbolic Execution
Relation: https://doi.org/10.5281/zenodo.8314676; https://doi.org/10.5281/zenodo.8314677; oai:zenodo.org:8314677