2 |
PACSafe: Leveraging ARM Pointer Authentication for Memory Safety in C/C++ ...
|
|
|
|
BASE
|
|
Show details
|
|
3 |
Compiler-Driven Simulation of Reconfigurable Hardware Accelerators ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
How ISO C became unusable for operating systems development ...
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Quickstrom: Property Based Acceptance Testing with LTL Specifications ...
|
|
|
|
BASE
|
|
Show details
|
|
7 |
A Systematic Evaluation of Large Language Models of Code ...
|
|
|
|
BASE
|
|
Show details
|
|
8 |
On Reinforcement Learning, Effect Handlers, and the State Monad ...
|
|
|
|
BASE
|
|
Show details
|
|
9 |
Compilable Neural Code Generation with Compiler Feedback ...
|
|
|
|
BASE
|
|
Show details
|
|
11 |
Concepts et sémantique des langages de programmation 2 : constructions modulaires et objet avec OCaml, Python, C++, Ada et Java
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03030511 ; ISTE Editions, 2021, 9781784057022 (2021)
|
|
BASE
|
|
Show details
|
|
12 |
Language and semantics of expressions for Grafcet model synthesis in an MDE environment ; Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02558838 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
13 |
Concepts et sémantique des langages de programmation 1 : constructions fonctionnelles et impératives avec OCaml, Python, C et C++
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03030484 ; ISTE Editions, 2021, 9781784057015 (2021)
|
|
BASE
|
|
Show details
|
|
14 |
Language and semantics of expressions for Grafcet model synthesis in an MDE environment ; Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02558838 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
15 |
Communicating artificial neural networks develop efficient color-naming systems
|
|
|
|
In: ISSN: 0027-8424 ; EISSN: 1091-6490 ; Proceedings of the National Academy of Sciences of the United States of America ; https://hal.inria.fr/hal-03329084 ; Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2021, 118 (12), ⟨10.1073/pnas.2016569118⟩ (2021)
|
|
BASE
|
|
Show details
|
|
16 |
Improving Automation for Higher-Order Proof Steps
|
|
|
|
In: Lecture Notes ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems ; https://hal.archives-ouvertes.fr/hal-03528009 ; FroCos 2021 - 13th International Symposium on Frontiers of Combining Systems, Sep 2021, Birmingham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-86205-3_8⟩ (2021)
|
|
BASE
|
|
Show details
|
|
17 |
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices
|
|
|
|
In: 23th International Conference on Coordination Languages and Models (COORDINATION) ; https://hal.inria.fr/hal-03347326 ; 23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.276 - 284, ⟨10.1007/978-3-030-78142-2_17⟩ (2021)
|
|
BASE
|
|
Show details
|
|
18 |
Automatic Guide Generation for Stan via NumPyro
|
|
|
|
In: PROBPROG 2021 - Third International Conference on Probabilistic Programming ; https://hal.archives-ouvertes.fr/hal-03401708 ; PROBPROG 2021 - Third International Conference on Probabilistic Programming, Oct 2021, Virtual, United States (2021)
|
|
BASE
|
|
Show details
|
|
19 |
Bootstrap-Based Language Development: Turning an existing VM into a polyglot VM ; Développement de langages basé l’amorçage
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03511998 ; Computer Science [cs]. Université de Lille; IMT Lille Douai, 2021. English (2021)
|
|
BASE
|
|
Show details
|
|
20 |
Categories with Families: Unityped, Simply Typed, and Dependently Typed
|
|
|
|
In: Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics ; https://hal.archives-ouvertes.fr/hal-03419296 ; Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics, 20, Springer International Publishing, pp.135-180, 2021, Outstanding Contributions to Logic, ⟨10.1007/978-3-030-66545-6_5⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
|