Discipline
Résultats 1-20 de 438
-
15 years of reuse experience in evolutionary prototyping for the defense industry
International Conference on Software and Systems Reuse, Hammamet, 02-12-2020Communication dans un congrès avec actestexte intégral -
2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE 2021)
IEEE, 2021 -
A Bootstrapping Infrastructure to Build and Extend Pharo-Like Languages
Onward!, Pittsburg, 21-06-2015Communication dans un congrès avec actestexte intégral -
A bytecode set for adaptive optimizations
International Workshop on Smalltalk Technologies, Cambridge, 2014Autre communication scientifique (congrès sans actes - poster - séminaire...)texte intégral -
A Certified Procedure for RL Verification
SYNASC 2017 : 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, 21-09-2017, IEEE CPS (to appear), 2017Communication dans un congrès avec actestexte intégral -
A classification of runtime reflective operations in Pharo
03-10-2023, Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189Rapport de recherchetexte intégral -
A Component-Based Approach for Specifying DSML's Concrete Syntax
2nd Workshop on Graphical Modeling Language Development (GMLD 2013), Montpellier, 01-07-2013, ACM, 02-07-2013Communication dans un congrès avec actestexte intégral -
A critical analysis of string APIs: The case of Pharo
Science of Computer Programming, Elsevier, 11-2017, 1-12Compte-rendu et recension critique d'ouvragetexte intégral -
A Current Task-Based Programming Paradigms Analysis
Krzhizhanovskaya V. et al. (eds) Computational Science – ICCS 2020. ICCS 2020. Lecture Notes in Computer Science, vol 12141. Springer, Cham, 15-06-2020Partie d'ouvragetexte intégral -
A debugging approach for live Big Data applications
Science of Computer Programming, Elsevier, 2021Compte-rendu et recension critique d'ouvragetexte intégral -
A detailed VM profiler for the Cog VM
International Workshop on Smalltalk Technology IWST'17, Maribor, 04-09-2017, IWST '17 Proceedings of the 12th edition of the International Workshop on Smalltalk Technologies, 04-09-2017Communication dans un congrès avec actestexte intégral -
A Domain-Specific Language for Visualizing Software Dependencies as a Graph
VISSOFT 2014 - Second IEEE Working Conference on Software Visualization, Victoria, 29-09-2014, http://hal.inria.fr/hal-01060524, 2014Communication dans un congrès avec actestexte intégral -
A First Analysis of String APIs: the Case of Pharo
IWST '15 International Workshop On Smalltalk Technologies, Brescia, 15-06-2015, Proceedings of the International Workshop on Smalltalk Technologies, ACMCommunication dans un congrès avec actestexte intégral -
A Generic Framework for Symbolic Execution: a Coinductive Approach
Journal of Symbolic Computation, Elsevier, 2017, 80, 125-163Compte-rendu et recension critique d'ouvragetexte intégral -
A Language-Independent Proof System for Full Program Equivalence
Formal Aspects of Computing, Springer Verlag, 2016, 28; 3, 469--497Compte-rendu et recension critique d'ouvragetexte intégral -
A Linear Type System for Lp -Metric Sensitivity Analysis
21-03-2024Pré-publication ou Document de travailtexte intégral -
A Linear Type System for Lp-Metric Sensitivity Analysis
Formal Structures for Computation and Deduction (FSCD), Tallinn, 10-07-2024, LIPIcs, Leibniz International Proceedings in Informatics (LIPIcs), 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 05-07-2024Communication dans un congrès avec actestexte intégral -
A low Overhead Per Object Write Barrier for the Cog VM
IWST 16, Pragues, 2016, Proceedings of the 11th edition of the International Workshop on Smalltalk TechnologiesCommunication dans un congrès avec actestexte intégral -
A New Architecture Reconciling Refactorings and Transformations
Journal of Computer Languages, Elsevier, 21-07-2024Compte-rendu et recension critique d'ouvragetexte intégral -
A New Generation of Class Blueprint
VISSOFT 2022 - IEEE Working Conference on Software Visualization, Limassol, 02-10-2022Communication dans un congrès avec actestexte intégral