48 |
Illicium A modular transpilation toolchain from Pharo to C
|
|
|
|
In: IWST19 — International Workshop on Smalltalk Technologies ; https://hal.archives-ouvertes.fr/hal-02297860 ; IWST19 — International Workshop on Smalltalk Technologies, Aug 2019, Köln, Germany (2019)
|
|
BASE
|
|
Show details
|
|
49 |
Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer
|
|
|
|
In: Verified Software. Theories, Tools, and Experiments ; VSTTE 2019 : 11th Working Conference on Verified Software: Theories, Tools, and Experiments ; https://hal.sorbonne-universite.fr/hal-02890500 ; VSTTE 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⟩ ; https://sri-csl.github.io/VSTTE19/ (2019)
|
|
BASE
|
|
Show details
|
|
50 |
Creation and Analysis of the Yugoslav Rock Song Lyrics Corpus from 1967 to 2003 ; Креирање и анализа корпуса текстова jугословенских рок песама од 1967-2003.
|
|
|
|
In: ISSN: 1450-9687 ; EISSN: 2217-9461 ; INFOtheca : Journal of Information and Library Science ; https://hal.archives-ouvertes.fr/hal-03091121 ; INFOtheca : Journal of Information and Library Science, Serbian Academic Library Association, 2019, 19 (1), pp.5-29. ⟨10.18485/infotheca.2019.19.1.1⟩ (2019)
|
|
BASE
|
|
Show details
|
|
51 |
Challenges in Debugging Bootstraps of Reflective Kernels
|
|
|
|
In: IWST19 - International workshop on Smalltalk Technologies ; https://hal.archives-ouvertes.fr/hal-02297710 ; IWST19 - International workshop on Smalltalk Technologies, Aug 2019, Cologne, Germany (2019)
|
|
BASE
|
|
Show details
|
|
52 |
Towards easy program migration using language virtualization
|
|
|
|
In: IWST19 - International Workshop on Smalltalk Technologies ; https://hal.archives-ouvertes.fr/hal-02297756 ; IWST19 - International Workshop on Smalltalk Technologies, Aug 2019, Cologne, Germany (2019)
|
|
BASE
|
|
Show details
|
|
53 |
Computing with relations, functions, and bindings ; Calculer avec des relations, des fonctions et des lieurs
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-02414237 ; Logic in Computer Science [cs.LO]. Institut Polytechnique de Paris, 2019. English. ⟨NNT : 2019IPPAX005⟩ (2019)
|
|
BASE
|
|
Show details
|
|
54 |
Designing Language-Agnostic Code Transformation Engines ; Construction de moteurs de transformation de code automatique agnostiques du langage
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03356307 ; Programming Languages [cs.PL]. Université de Lille, 2019. English (2019)
|
|
BASE
|
|
Show details
|
|
58 |
Frightening Small Children and Disconcerting Grown-ups ; Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel
|
|
|
|
In: ASPLOS2018 - 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems ; https://hal.inria.fr/hal-01873636 ; ASPLOS2018 - 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Mar 2018, Williamsburg, VA, United States. ⟨10.1145/3173162.3177156⟩ (2018)
|
|
BASE
|
|
Show details
|
|
59 |
Merlin: a language server for OCaml (experience report)
|
|
|
|
In: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://hal.inria.fr/hal-01929161 ; Proceedings of the ACM on Programming Languages, ACM, 2018, 2 (ICFP), pp.1 - 15. ⟨10.1145/3236798⟩ (2018)
|
|
BASE
|
|
Show details
|
|
60 |
Declarative Transformations in the Polyhedral Model ; Transformations Déclaratives dans le Modèle Polyédrique
|
|
|
|
In: https://hal.inria.fr/hal-01965599 ; [Research Report] RR-9243, Inria; ENS Paris - Ecole Normale Supérieure de Paris; ETH Zurich; TU Delft; IBM Zürich. 2018 (2018)
|
|
BASE
|
|
Show details
|
|
|
|