| 1 |
On the Transferability of Pre-trained Language Models for Low-Resource Programming Languages ...
|
|
Chen, Fuxiang. - : Federated Research Data Repository / dépôt fédéré de données de recherche, 2022
|
|
BASE
|
|
Show details
|
|
|
| 2 |
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
|
|
|
| 3 |
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
|
|
|
| 4 |
PseuToPy: Vers un langage de programmation naturel
|
|
|
|
In: Actes de l'atelier Apprendre la Pensée Informatique de la Maternelle à l'Université. ; Atelier « Apprendre la Pensée Informatique de la Maternelle à l'Université », dans le cadre de la conférence Environnements Informatiques pour l'Apprentissage Humain (EIAH) ; https://hal.archives-ouvertes.fr/hal-03241688 ; Atelier « Apprendre la Pensée Informatique de la Maternelle à l'Université », dans le cadre de la conférence Environnements Informatiques pour l'Apprentissage Humain (EIAH), 2021, Fribourg, Suisse. pp.87-95 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Story of a legal codex(t) : writing law in code ; L’histoire du codex(t) juridique : écrire le droit en code
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-03618704 ; Droit. Institut d'études politiques de paris - Sciences Po, 2021. Français. ⟨NNT : 2021IEPP0041⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
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
|
|
|
| 7 |
Approche philologique des langages de programmation
|
|
|
|
In: ISSN: 0752-4072 ; EISSN: 2116-5920 ; Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques ; https://hal.archives-ouvertes.fr/hal-01425868 ; Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2016, 35 (2), pp.237-254. ⟨10.3166/TSI.35.237-254⟩ ; http://tsi.revuesonline.com/article.jsp?articleId=36168 (2016)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Implantation des futures sur un système distribué par passage de messages
|
|
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Algebraic resource semantics for classical logic ; Sémantique algébrique des ressources pour la logique classique
|
|
|
|
In: https://hal.univ-lorraine.fr/tel-01749530 ; Autre [cs.OH]. Institut National Polytechnique de Lorraine, 2011. Français. ⟨NNT : 2011INPL075N⟩ (2011)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
A Programming Model Integrating Classes, Events and Aspects ; Un modèle de programmation intégrant classes, événements et aspects
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00656649 ; Software Engineering [cs.SE]. Université de Nantes, 2011. English. ⟨NNT : 2011 NANT 2063⟩ (2011)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Implantation des futures sur un système distribué par passage de messages
|
|
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Systematic development and safety of execution in structured parallel programming ; Développement systématique et sûreté d’exécution en programmation parallèle structurée
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00481376 ; Autre [cs.OH]. Université Paris-Est, 2009. Français. ⟨NNT : 2009PEST0004⟩ (2009)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Design of a programming language dedicated to program analysis and transformation ; Conception d'un langage dédié à l'analyse et la transformation de programmes
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01748507 ; Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy 1, 2009. Français. ⟨NNT : 2009NAN10026⟩ (2009)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
A Set of Model-Oriented Tools for Developing and Validating Annotation-Based Frameworks ; Un ensemble d'outils orientés modèle pour développer et valider des cadres logiciels à base d'annotations
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00668953 ; Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2008. Français (2008)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Contribution to the flexibility and speed in automation system design using UML ; Contribution à la flexibilité et à la rapidité de conception des systèmes automatisés avec l'utilisation d'UML
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00731257 ; Informatique mobile. Université Blaise Pascal - Clermont-Ferrand II, 2008. Français. ⟨NNT : 2008CLF21889⟩ (2008)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Contraintes d'anti-filtrage et programmation par réécriture ; Anti-matching constraints and programming with rewrite rules
|
|
|
|
BASE
|
|
Show details
|
|
|
| 17 |
A practical type system for generalized recursion
|
|
|
|
In: https://hal-lara.archives-ouvertes.fr/hal-02102506 ; [Research Report] Laboratoire de l'informatique du parallélisme. 2005, 2+50p (2005)
|
|
BASE
|
|
Show details
|
|
|
| 19 |
Visual Programming Languages and Environments for Structured Document Processing ; Environnements et langages de programmation visuels pour le traitement de documents structurés
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00125472 ; Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2002. Français (2002)
|
|
BASE
|
|
Show details
|
|
|
| 20 |
Language approaches for program design and implementation ; Approches langages pour la conception et la mise en oeuvre de programmes
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00011212 ; Génie logiciel [cs.SE]. Université Rennes 1, 2000 (2000)
|
|
BASE
|
|
Show details
|
|
|
|
|
