Article dans une revue
Langage de programmation
Affichage des résultats 1 à 11 sur 11 au total
Langage de programmation : 1 à 11 sur 11 au total
-
-
Communication dans un congrès
Véronique Benzaken, Sarah Cohen-Boulakia, Évelyne Contejean, Chantal Keller, Rébecca Zucchini. A Coq formalization of data provenance. Certified Programs and Proofs, ACM, Jan 2021, Virtual Event, Denmark. ⟨10.1145/3437992.3439920⟩. ⟨hal-03380459⟩
-
Communication dans un congrès
Brigitte Grau, Anne-Laure Ligozat, Isabelle Robba, Anne Vilnat, Faïza El Kateb, et al.. De l'importance des synonymes pour la sélection de passages en question-réponse. CORIA'05 Conférence en Recherche d'Informations et Applications, Mar 2005, Grenoble, France. pp.71-84, ⟨10.24348/coria.2005.7⟩. ⟨hal-01125013⟩
-
Communication dans un congrès
Philip Tchernavskij. Critique of ‘files as directories: some thoughts on accessing structured data within files’ (1). Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Apr 2018, Nice, France. ⟨10.1145/3191697.3214324⟩. ⟨hal-01854295⟩
-
Communication dans un congrès
Antranig Basman, Philip Tchernavskij, Simon Bates, Michel Beaudouin-Lafon. An anatomy of interaction: co-occurrences and entanglements. Programming'18 Companion - Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Apr 2018, Nice, France. pp.188-196, ⟨10.1145/3191697.3214328⟩. ⟨hal-01854418⟩
-
Communication dans un congrès
Cole S Peterson, Jonathan A Saddler, Tanja Blascheck, Bonita Sharif. Visually Analyzing Students' Gaze on C++ Code Snippets. EMIP 2019 - 6th International Workshop on Eye Movements in Programming, May 2019, Montreal, Canada. ⟨hal-02084148⟩
-
Communication dans un congrès
Tanja Blascheck, Bonita Sharif. Visually Analyzing Eye Movements on Natural Language Texts and Source Code Snippets. ETRA 2019 - ACM Symposium on Eye Tracking Research & Applications, Jun 2019, Denver, United States. ⟨10.1145/3314111.3319917⟩. ⟨hal-02084109⟩
-
Communication dans un congrès
Unaizah Obaidellah, Michael Raschke, Tanja Blascheck. Classification of Strategies for Solving Programming Problems using AoI Sequence Analysis. ETRA 2019 - Symposium on Eye Tracking Research and Applications, Jun 2019, Denver, United States. ⟨10.1145/3314111.3319825⟩. ⟨hal-02084127⟩
-
Pré-publication, Document de travail
Michael Kruse. Introducing Molly: Distributed Memory Parallelization with LLVM. 2013. ⟨hal-01061501⟩
-
Communication dans un congrès
Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau. From Natural Language Requirements to Formal Specification Using an Ontology. IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013), Nov 2013, Herndon, VA, United States. pp.755-760, ⟨10.1109/ICTAI.2013.116⟩. ⟨hal-01126372⟩
-
Communication dans un congrès
Driss Sadoun, Catherine Dubois, Yacine Ghamri-Doudane, Brigitte Grau. Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology. RuleML, Aug 2014, Prague, Czech Republic. pp.226-235, ⟨10.1007/978-3-319-09870-8_17⟩. ⟨hal-01126517⟩