المؤلفون: Hähnle, Reiner, Henrio, Ludovic

المصدر: The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 2, Article 6

مصطلحات موضوعية: Computer Science - Programming Languages

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

المؤلفون: Andrieux, Martin^Aff12, Henrio, Ludovic^Aff13, Radanne, Gabriel^Aff13

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, de Boer, Frank, editor^Aff7, Damiani, Ferruccio, editor^Aff8, Hähnle, Reiner, editor^Aff9, Broch Johnsen, Einar, editor^Aff10, Kamburjan, Eduard, editor^Aff11

المصدر: Active Object Languages: Current Research Trends. 14360:3-36

المؤلفون: Emmanuel, Julien, Moy, Matthieu, Henrio, Ludovic, Pichon, Gregoire

المصدر: 2021 29th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS) Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), 2021 29th International Symposium on. :1-8 Nov, 2021

Relation: 2021 29th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)

المؤلفون: Chappe, Nicolas, He, Paul, Henrio, Ludovic, Zakowski, Yannick, Zdancewic, Steve

مصطلحات موضوعية: Computer Science - Programming Languages

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

المؤلفون: Gonnord, Laure, Henrio, Ludovic, Morel, Lionel, Radanne, Gabriel

مصطلحات موضوعية: Computer Science - Programming Languages

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

المؤلفون: Din, Crystal Chang, Hähnle, Reiner, Henrio, Ludovic, Johnsen, Einar Broch, Pun, Violet Ka I, Tarifa, Silvia Lizeth Tapia

مصطلحات موضوعية: Computer Science - Programming Languages

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

المؤلفون: Chappe, Nicolas, Henrio, Ludovic, Maillé, Amaury, Moy, Matthieu, Renaud, Hadrien

المصدر: The Art, Science, and Engineering of Programming, 2022, Vol. 6, Issue 1, Article 3

مصطلحات موضوعية: Computer Science - Programming Languages

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

المؤلفون: Ameur-Boulifa, Rabéa^Aff9, Corradi, Quentin^Aff10, Henrio, Ludovic^Aff10, Madelaine, Eric^Aff11

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Ferreira, Carla, editor^Aff7, Willemse, Tim A. C., editor^Aff8

المصدر: Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. 14323:11-29

المؤلفون: Henrio, Ludovic, Kessler, Christoph, Li, Lu

المصدر: 2018 International Conference on High Performance Computing & Simulation (HPCS) HPCS High Performance Computing & Simulation (HPCS), 2018 International Conference on. :716-723 Jul, 2018

Relation: 2018 International Conference on High Performance Computing & Simulation (HPCS)

المؤلفون: Ameur-Boulifa, Rabéa, Henrio, Ludovic, Madelaine, Eric

مصطلحات موضوعية: Computer Science - Logic in Computer Science

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