المؤلفون: Chirkova, Nadezhda, Nikoulina, Vassilina, Meunier, Jean-Luc, Bérard, Alexandre

مصطلحات موضوعية: Computer Science - Computation and Language, Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/2407.01126

المؤلفون: Marchisio, Kelly, Ko, Wei-Yin, Bérard, Alexandre, Dehaze, Théo, Ruder, Sebastian

مصطلحات موضوعية: Computer Science - Computation and Language

URL الوصول: http://arxiv.org/abs/2406.20052

المؤلفون: Gow-Smith, Edward, Berard, Alexandre, Boito, Marcely Zanon, Calapodescu, Ioan

مصطلحات موضوعية: Computer Science - Computation and Language

URL الوصول: http://arxiv.org/abs/2306.07763

المؤلفون: Koishekenov, Yeskendir, Berard, Alexandre, Nikoulina, Vassilina

مصطلحات موضوعية: Computer Science - Computation and Language, Computer Science - Artificial Intelligence, Computer Science - Machine Learning

URL الوصول: http://arxiv.org/abs/2212.09811

المؤلفون: 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

المؤلفون: 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

المؤلفون: Berard, Alexandre

مصطلحات موضوعية: Computer Science - Computation and Language

URL الوصول: http://arxiv.org/abs/2110.10478

المؤلفون: Üstün, Ahmet, Bérard, Alexandre, Besacier, Laurent, Gallé, Matthias

مصطلحات موضوعية: Computer Science - Computation and Language

URL الوصول: http://arxiv.org/abs/2110.10472

المؤلفون: Stickland, Asa Cooper, Bérard, Alexandre, Nikoulina, Vassilina

مصطلحات موضوعية: Computer Science - Computation and Language

URL الوصول: http://arxiv.org/abs/2110.09574

المؤلفون: Berard, Alexandre, Lee, Dain, Clinchant, Stéphane, Jung, Kweonwoo, Nikoulina, Vassilina

مصطلحات موضوعية: Computer Science - Computation and Language

URL الوصول: http://arxiv.org/abs/2109.06679

المؤلفون: Bérard, Alexandre, Kim, Zae Myung, Nikoulina, Vassilina, Park, Eunjeong L., Gallé, Matthias

مصطلحات موضوعية: Computer Science - Computation and Language, Computer Science - Machine Learning

URL الوصول: http://arxiv.org/abs/2008.02878

المؤلفون: 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

المؤلفون: Saleh, Fahimeh, Bérard, Alexandre, Calapodescu, Ioan, Besacier, Laurent

مصطلحات موضوعية: Computer Science - Computation and Language

URL الوصول: http://arxiv.org/abs/1910.14539

المؤلفون: Bérard, Alexandre, Calapodescu, Ioan, Roux, Claude

مصطلحات موضوعية: Computer Science - Computation and Language

URL الوصول: http://arxiv.org/abs/1907.06488

المؤلفون: Godard, Pierre, Zanon-Boito, Marcely, Ondel, Lucas, Berard, Alexandre, Yvon, François, Villavicencio, Aline, Besacier, Laurent

مصطلحات موضوعية: Computer Science - Computation and Language, Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/1806.06734

المؤلفون: Bérard, Alexandre, Besacier, Laurent, Kocabiyikoglu, Ali Can, Pietquin, Olivier

مصطلحات موضوعية: Computer Science - Computation and Language

URL الوصول: http://arxiv.org/abs/1802.04200

المؤلفون: Boito, Marcely Zanon, Berard, Alexandre, Villavicencio, Aline, Besacier, Laurent

مصطلحات موضوعية: Computer Science - Computation and Language

URL الوصول: http://arxiv.org/abs/1709.05631

المؤلفون: Berard, Alexandre, Pietquin, Olivier, Besacier, Laurent

مصطلحات موضوعية: Computer Science - Computation and Language

URL الوصول: http://arxiv.org/abs/1707.05118

المؤلفون: Gourdin, Léo, Bonneau, Benjamin, Boulmé, Sylvain, Monniaux, David, Bérard, Alexandre

المصدر: 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

الاتاحة: https://doi.org/10.5281/zenodo.8314677

المؤلفون: Gourdin, Léo, Bonneau, Benjamin, Boulmé, Sylvain, Monniaux, David, Bérard, Alexandre

المساهمون: VERIMAG (VERIMAG - IMAG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), ANR-10-AIRT-0005,NANOELEC,NANOELEC(2010), ANR-11-LABX-0025,PERSYVAL-lab,Systemes et Algorithmes Pervasifs au confluent des mondes physique et numérique(2011)

المصدر: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://hal.science/hal-04102940 ; Proceedings of the ACM on Programming Languages, 2023, 7 (OOPSLA2), pp.59-88. ⟨10.1145/3622799⟩.

مصطلحات موضوعية: [INFO]Computer Science [cs]

الاتاحة: https://hal.science/hal-04102940
https://hal.science/hal-04102940v3/document
https://hal.science/hal-04102940v3/file/BTL_preprint.pdf
https://doi.org/10.1145/3622799