1 |
A Semantic Characterization for ASP Base Revision
|
|
|
|
In: ISSN: 1076-9757 ; Journal of Artificial Intelligence Research ; https://hal-amu.archives-ouvertes.fr/hal-02392942 ; Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2019, 66, pp.989 - 1029 (2019)
|
|
BASE
|
|
Show details
|
|
2 |
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
|
|
3 |
BiLex: A computational approach to the effects of age of acquisition and language exposure on bilingual lexical access
|
|
|
|
BASE
|
|
Show details
|
|
4 |
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
|
|
5 |
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
|
|
6 |
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)
|
|
Abstract:
International audience ; The current explosion of embedded systems (i.e., IoT, Edge Computing) implies the need for generating tailored and customized software for these systems. Instead of using specific runtimes (e.g., MicroPython, eLua, mRuby), we advocate that bootstrapping specific language kernels is a promising higher-level approach because the process takes advantage of the generated language abstractions, easing the task for a language developer. Nevertheless, bootstrapping language kernels is still challenging because current debugging tools are not suitable for fixing the possible failures that occur during the process. In this paper, we take the Pharo bootstrap process as an example to analyse the different challenges a language developer faces. We propose a taxonomy of failures appearing during bootstrap and their causes. Based on this analysis, we identify future research directions: (1) prevention measures based on the reification of implicit virtual machine contracts, and (2) hybrid debugging tools that unify the debugging of high-level code from the bootstrapped language with low-level code from the virtual machine.
|
|
Keyword:
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]; bootstrap; IoT; language kernels
|
|
URL: https://hal.archives-ouvertes.fr/hal-02297710v2/document https://hal.archives-ouvertes.fr/hal-02297710v2/file/challengesInBootstrappingReflectiveKernels-corrected.pdf https://hal.archives-ouvertes.fr/hal-02297710
|
|
BASE
|
|
Hide details
|
|
7 |
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
|
|
8 |
Static Analysis for BSPlib Programs ; Analyse statique des programmes BSPlib
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-02920363 ; Distributed, Parallel, and Cluster Computing [cs.DC]. Université d'Orléans, 2019. English. ⟨NNT : 2019ORLE2005⟩ (2019)
|
|
BASE
|
|
Show details
|
|
9 |
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
|
|
10 |
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
|
|
12 |
A Randomized Controlled Trial on the Impact of Polyglot Programming in a Database Context
|
|
Uesbeck, Phillip Merlin; Stefik, Andreas. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. : OASIcs - OpenAccess Series in Informatics. 9th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2018), 2019
|
|
BASE
|
|
Show details
|
|
13 |
The Role of Non-monotonic Reasoning in Future Development of Artificial Intelligence (Dagstuhl Perspectives Workshop 19072)
|
|
|
|
BASE
|
|
Show details
|
|
14 |
Observing the Uptake of a Language Change Making Strings Immutable
|
|
Maarek, Manuel. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. : OASIcs - OpenAccess Series in Informatics. 9th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2018), 2019
|
|
BASE
|
|
Show details
|
|
15 |
Hierarchical Cluster Analysis by R Language for Pattern Recognition in the Bathymetric Data Frame: a Case Study of the Mariana Trench, Pacific Ocean ...
|
|
|
|
BASE
|
|
Show details
|
|
16 |
Hierarchical Cluster Analysis by R Language for Pattern Recognition in the Bathymetric Data Frame: a Case Study of the Mariana Trench, Pacific Ocean ...
|
|
|
|
BASE
|
|
Show details
|
|
19 |
A vision of miking : Interactive programmatic modeling, sound language composition, and self-learning compilation
|
|
Broman, David. - : KTH, Programvaruteknik och datorsystem, SCS, 2019. : Association for Computing Machinery, Inc, 2019
|
|
BASE
|
|
Show details
|
|
|
|