Relevant bibliographies by topics / C (langage de programmation)

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'C (langage de programmation)'

Author: Grafiati
Published: 4 June 2021
Last updated: 30 July 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'C (langage de programmation).'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "C (langage de programmation)"

1

Frick, V., and B. Boyer. "Conception de système embarqué sur cible FPGA : une approche par compétences." J3eA 21 (2022): 1022. http://dx.doi.org/10.1051/j3ea/20221022.

Full text
Abstract:
Cet article témoigne d’une expérience d’approche par compétence appliquée dans le cadre de modules d’enseignement aux systèmes électroniques embarqués. Les projets proposés aux étudiants visent à développer les compétences qui leur permettront de répondre efficacement à un cahier des charges dans un domaine où matériels et logiciels sont en constante évolution. En l’occurrence, il s’agit d’encourager l’initiative dans les choix techniques de co-conception de circuits numériques impliquant le langage de description matériel VHDL, la synthèse de processeur embarqué, la programmation en langage C. Le retour d’expérience montre qu’au prix d’un suivi régulier de la progression des étudiants, les résultats et le taux de satisfaction des étudiants sont très élevés et peuvent même dépasser les objectifs initiaux.
APA, Harvard, Vancouver, ISO, and other styles
2

Mélès, Baptiste. "Les langages de Turing." Intellectica. Revue de l'Association pour la Recherche Cognitive 72, no. 1 (2020): 81–110. http://dx.doi.org/10.3406/intel.2020.1947.

Full text
Abstract:
Si les machines de Turing sont réputées inutilisables, c'est parce qu''on prête souvent davantage attention à la rudimentaire description initiale proposée par leur inventeur qu'à son souci constant d'adapter la syntaxe de leur description aux objectifs poursuivis. Nous décrirons chacun des langages successivement adoptés par Turing en en explicitant la grammaire, en justifiant chaque innovation syntaxique et en confrontant aux déclarations d'intention de Turing sa pratique effective. L'exposition de ces langages sera également éclairée, à titre pédagogique, par la théorie moderne des langages de programmation. Nous verrons ainsi que Turing a proposé trois familles de langages pour décrire le fonctionnement de ses machines : d'abord tout une pyramide de langages explicatifs («tables complètes» et «tables abrégées»), voués à rendre intelligible au lecteur humain le fonctionnement des machines ; puis un langage calculatoire, seul véritable «langage de programmation», permettant notamment l'exécution d''une description de machine par une autre machine ; enfin un langage démonstratif, réservé au mathématicien pour la mise au jour de propriétés des nombres calculables.
APA, Harvard, Vancouver, ISO, and other styles
3

Mandel, Louis, and Marc Pouzet. "ReactiveML, un langage fonctionnel pour la programmation réactive." Techniques et sciences informatiques 27, no. 8 (October 30, 2008): 1097–128. http://dx.doi.org/10.3166/tsi.27.1097-1128.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Laurent Bloch. "Un langage pour enseigner la programmation, Scheme ou Python ?" Bulletin 1024, no. 20 (November 2022): 85–95. http://dx.doi.org/10.48556/sif.1024.20.85.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Denis Merigoux and Liane Huttner. "Catala : formaliser la loi grâce à un langage de programmation dédié." Bulletin 1024, no. 20 (November 2022): 77–84. http://dx.doi.org/10.48556/sif.1024.20.77.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Philippot, Alexandre, Stéphane Lecasse, Bernard Riera, and François Gellot. "Développement d’un connecteur logiciel pour l’apprentissage de l’automatisme." J3eA 21 (2022): 2056. http://dx.doi.org/10.1051/j3ea/20222056.

Full text
Abstract:
L’apprentissage de l’automatisme s’adresse aujourd’hui à un public d’étudiants ayant pour la plupart avant tout un background informatique. Ils/elles passent par des phases d’apprentissage de langages compilés et/ou interprétés. Il est compliqué alors pour eux de passer d’une réflexion informatique avec un langage venant du monde de l’IT (Information Technology) vers la programmation d’Automates Programmable Industriel (API), au comportement cyclique, synchrone et aux langages normalisés (IEC 61131-3) issu du monde de l’OT (Operational Technology). Ce papier présente une proposition de mise en place d’un connecteur logiciel entre ces deux mondes aux travers de l’utilisation d’un logiciel de simulation de Parties Opératives Factory I/O (realgames.co) et du langage Python.
APA, Harvard, Vancouver, ISO, and other styles
7

Delaval, Gwenaël, Eric Rutten, and Hervé Marchand. "Intégration de la synthèse de contrôleurs discrets dans un langage de programmation." Journal Européen des Systèmes Automatisés 45, no. 1-3 (April 30, 2011): 125–40. http://dx.doi.org/10.3166/jesa.45.125-140.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Forest, Françoise, and Maryse Siksou. "Développement de concepts et programmation du sens. Pensée et langage chez Vygotski." Intellectica. Revue de l'Association pour la Recherche Cognitive 18, no. 1 (1994): 213–36. http://dx.doi.org/10.3406/intel.1994.1456.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Kouki, Rahim, and Soumaya Derragi. "Interdisciplinarité et difficulté d’apprentissage des méthodes numériques en programmation." TANGRAM - Revista de Educação Matemática 6, no. 3 (September 30, 2023): 2–22. http://dx.doi.org/10.30612/tangram.v6i3.16950.

Full text
Abstract:
Les algorithmes numériques font l’objet d’un enseignement explicite dans les classes préparatoires à l’entrée aux écoles d’ingénieurs. Le caractère interdisciplinaire de ces derniers, permet de construire un pont entre le langage et l’action et met l’accent sur l’utilité d’une certaine rigueur scientifique expérimentée. Notre recherche s’inscrit dans le cadre d’une démarche réflexive avec une prise de conscience centrée sur les difficultés liées à l’implémentation de la méthode d’Euler comme algorithme numérique pour la résolution des équations différentielles. L’exploration d’un milieu théorique fondé sur les méthodes numériques d’approximation, que nous avons menée, nous a permis de dégager différents types d’obstacles didactique rencontrés lors de l'implémentation de la solution numérique d’ordre sémiotique, organisationnel ou encore psychologique. Elle a aussi dénoté d’une certaine complexité syntaxique des relations de récurrences à analyser dans un aspect sémantique. Nous nous plaçons alors dans le cadre de la théorie des champs conceptuels développée dans les travaux de (Vergnaud, 1990) croisée à la notion de registres développé par (Duval, 1993) afin d’analyser ces difficultés dans une dimension syntaxique/sémantique (Kouki, 2018).
APA, Harvard, Vancouver, ISO, and other styles
10

Caldarone, Alessandro. "Une méthodologie automatisée de la logique juridique." Les Cahiers de droit 31, no. 1 (April 12, 2005): 227–60. http://dx.doi.org/10.7202/043006ar.

Full text
Abstract:
Le droit est une matière qui se prête très bien au traitement informatique. En effet nous pouvons dans cette discipline identifier deux aspects différents et complémentaires de la même réalité, à savoir l'aspect éthique et l'aspect logique. Dans cette étude, l'auteur se penche sur l'aspect logique du droit. Pour ce faire, il utilise la logique formelle afin de réduire sous forme de règles la matière portant sur le remboursement des améliorations faites sur l'immeuble d'autrui. Le résultat final en est un d'intelligence artificielle avec la réalisation d'un système expert portant le nom de LEX-A. Celui-ci a été réalisé sur ordinateur Macintosh et utilise le langage de programmation PROLOG.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "C (langage de programmation)"

1

El, Mokhtari Mounir. "Contribution à l'intégration de C++ et de Prolog à travers la machine abstraite de Warren : le système cop-compilé." Sherbrooke : Université de Sherbrooke, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

David, Pierre. "Analyse semantique des programmes en langage c en vue de leur parallelisation." Paris 6, 1991. http://www.theses.fr/1991PA066088.

Full text
Abstract:
Les recherches dans le domaine de la parallelisation automatique se sont concentrees sur le langage fortran. Or, ce langage souffre de defauts qui le rendent inadapte a un certain nombre de problemes. Le but de notre etude est la detection automatique de parallelisme en langage c. Le probleme est complexe puisque le langage c dispose de nombreuses constructions destinees a faciliter une ecriture optimisee sur une architecture traditionnelle, et en particulier les pointeurs, l'arithmetique sur ces pointeurs et les expressions avec effets de bord. Notre approche consiste a desoptimiser le programme pour en faciliter l'analyse semantique. Dans un premier temps, nous definissons un sous-ensemble du langage c sans appel de fonctions ni coercitions, mais en acceptant toutes les expressions avec effets de bord. L'absence de coercitions nous permet de definir une structuration de la memoire suivant le systeme de types du langage. Dans un deuxieme temps, nous transformons les boucles for, qui ont en langage c une semantique tres complexe, en boucles while, puis nous retirons les effets de bord des expressions. Enfin, nous procedons a une evaluation symbolique du programme pour un extraire une suite de transformations, c'est-a-dire des substitutions gardees par des expressions logiques. Ce calcul est direct et precis pour les sequences lineaires, mais nous devons proceder a des approximations pour les boucles. Un des sous-produits de cette analyse est l'identification de celles des boucles while qui ont une semantique de boucle do de fortran. A partir de la, il nous est possible de nous interfacer avec un paralleliseur classique
APA, Harvard, Vancouver, ISO, and other styles
3

Tran, tan Antoine. "Squelettes algorithmiques asynchrones : application aux langages orientés domaine." Thesis, Université Paris-Saclay (ComUE), 2015. http://www.theses.fr/2015SACLS025/document.

Full text
Abstract:
Dans cette thèse, nous présentons des développements de l'approche utilisée dans l'équipe « ParSys » du LRI pour traduire automatiquement des codes scientifiques écrits dans un langage dédié inspiré de Matlab en codes de production haute performance. Pour garantir cette performance, nous mettons à profit d'une part la méta-programmation par templates C++ afin d'analyser chaque expression pour détecter les opportunités de parallélisme, et d'autre part la programmation parallèle asynchrone pour utiliser au mieux les ressources disponibles des machines multi-cœurs. Pour faire le lien entre ces deux étapes du processus de génération de code, des squelettes algorithmiques multi-niveaux sont implémentés. Nos outils ont été implantés dans la bibliothèque NT2 et évalués sur des applications scientifiques du monde réel
In this thesis, we present developments to the approach used by the LRI Parsys team to automatically translate MATLAB-like scientific codes into high performance production codes. To reach a high level of performance, we have combined C++ template meta-programming and asynchronous parallel programming to analyze each expression and detect parallelism opportunities first, and then to ensure near-optimal use of the available resources of multi-core machines. To link these two stages of the code generation process, we have implemented a solution based on multi-level algorithmic skeletons. We have implemented our tools in the NT2 library and evaluated them with several significant scientific benchmarks
APA, Harvard, Vancouver, ISO, and other styles
4

Labbé, Alexandre. "Développement de logiciels d'analyse structurale à interface graphique : WMNPhi et CalWin." Sherbrooke : Université de Sherbrooke, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Kerneis, Gabriel. "Continuation-Passing C : transformations de programmes pour compiler la concurrence dans un langage impératif." Phd thesis, Paris 7, 2012. http://www.theses.fr/2012PA077133.

Full text
Abstract:
La plupart des programmes informatiques sont concurrents : ils doivent effectuer plusieurs tâches en même temps. Les threads et les événements sont deux techniques usuelles d'implémentation de la concurrence. Les événements sont généralement plus légers et efficaces que les threads, mais aussi plus difficiles à utiliser. De plus, ils sont souvent trop limités ; il est alors nécessaire d'écrire du code hybride, encore plus complexe, utilisant à la fois des threads ordonnancés préemptivement et des événements ordonnancés coopérativement. Nous montrons dans cette thèse que des programmes concurrents écrits dans un style à threads sont traduisibles automatiquement en programmes à événements équivalents et efficaces par une suite de transformations source-source prouvées. Nous proposons d'abord Continuation-Passing C, une extension du langage C pour l'écriture de systèmes concurrents qui offre des threads très légers et unifiés (coopératifs et préemptifs). Les programmes CPC sont transformés par le traducteur CPC pour produire du code à événements séquentialisé efficace, utilisant des threads natifs pour les parties préemptives. Nous définissons et prouvons ensuite la correction de ces transformations, en particulier le lambda lifting et la conversion CPS, pour un langage impératif. Enfin, nous validons la conception et l'implémentation de CPC en le comparant à d'autres bibliothèques de threads et en exhibant notre seeder BitTorrent Hekate. Nous justifions aussi notre choix du lambda lifting en implémentant eCPC, une variante de CPC utilisant les environnements, et en comparant ses performances à celles de CPC
Most computer programs are concurrent ones: they need to perform several tasks at the same time. Threads and events are two common techniques to implement concurrency. Events are generally more lightweight and efficient than threads, but also more difficult to use. Additionally, they are often not powerful enough; it is then necessary to write hybrid code, that uses both preemptively-scheduled threads and cooperatively-scheduled event handlers, which is even more complex. In this dissertation, we show that concurrent programs written in threaded style can be translated automatically into efficient, equivalent event-driven programs through a series of proven source-to-source transformations. We first propose Continuation-Passing C, an extension of the C programming language for writing concurrent Systems that provides very lightweight, unified (cooperative and preemptive) threads. CPC programs are processed by the CPC translater to produce efficient sequentialized event-loop code, using native threads for the preemptive parts. We then define and prove the correctness of these transformations, in particular lambda lifting and CPS conversion, for an imperative language. Finally, we validate the design and implementation CPC by comparing it to other thread librairies, and by exhibiting our Hekate BitTorrent seeder. We also justify the choice of lambda lifting by implementing eCPC, a variant of CPC using environments, and comparing its performances to CPC
APA, Harvard, Vancouver, ISO, and other styles
6

Kerneis, Gabriel. "Continuation-Passing C : Transformations de programmes pour compiler la concurrence dans un langage impératif." Phd thesis, Université Paris-Diderot - Paris VII, 2012. http://tel.archives-ouvertes.fr/tel-00751444.

Full text
Abstract:
La plupart des programmes informatiques sont concurrents : ils doivent effectuer plusieurs tâches en même temps. Les threads et les événements sont deux techniques usuelles d'implémentation de la concurrence. Les événements sont généralement plus légers et efficaces que les threads, mais aussi plus difficiles à utiliser. De plus, ils sont souvent trop limités ; il est alors nécessaire d'écrire du code hybride, encore plus complexe, utilisant à la fois des threads ordonnancés préemptivement et des événements ordonnancés coopérativement. Nous montrons dans cette thèse que des programmes concurrents écrits dans un style à threads sont traduisibles automatiquement en programmes à événements équivalents et efficaces par une suite de transformations source-source prouvées. Nous proposons d'abord Continuation-Passing C, une extension du langage C pour l'écriture de systèmes concurrents qui offre des threads très légers et unifiés (coopératifs et préemptifs). Les programmes CPC sont transformés par le traducteur CPC pour produire du code à événements séquentialisé efficace, utilisant des threads natifs pour les parties préemptives. Nous définissons et prouvons ensuite la correction de ces transformations, en particulier le lambda lifting et la conversion CPS, pour un langage impératif. Enfin, nous validons la conception et l'implémentation de CPC en le comparant à d'autres bibliothèques de threads et en exhibant notre seeder BitTorrent Hekate. Nous justifions aussi notre choix du lambda lifting en implémentant eCPC, une variante de CPC utilisant les environnements, et en comparant ses performances à celles de CPC.
APA, Harvard, Vancouver, ISO, and other styles
7

Mopolo-Moke, Gabriel. "Nice-c++ : une extension c++ pour la programmation persistante a partir d'un serveur de bases d'objets." Nice, 1991. http://www.theses.fr/1991NICE4516.

Full text
Abstract:
Le projet tootsi est un projet de recherche europeen qui a debute en fevrier 1989 et prend fin en fevrier 1991. Il vise l'amelioration de l'utilisation des serveurs et banques de donnees existants. Pour mener a bien ce projet, un certain nombre d'outils de developpement ont ete juges necessaires notamment un langage de programmation susceptible de supporter des types complexes et multimedias, la notion de la persistance, le partage et certains liens semantiques tels que l'heritage et l'association. Le langage selectionne c++ ne possede pas toutes ces caracteristiques. Cette etude a pour but de proposer, dans le cadre du projet tootsi, une approche d'extension du langage c++ vers la programmation persistante et la prise en compte de nouveaux types. Notre demarche consiste a ne pas reecrire ou modifier le compilateur c++ mais au contraire a utiliser les concepts d'abstraction de donnees, de polymorphisme et d'heritage deja presents dans ce langage. Dans une premiere partie nous faisons l'etat de l'art dans le domaine de la programmation orientee-objets et de la programmation persistante. Ce systeme est defini par: 1) un modele de programmation fonde sur l'extension du modele d'objets et du systeme de type c++; 2) des interfaces de manipulation des objets et meta-objets; 3) un serveur d'objets pour la gestion de persistance. L'objectif finale de notre travail est de permettre a nice-c++ de supporter: les types complexes et multimedias, les liens d'association, la persistance et le partage afin de repondre aux besoins du projet tootsi
APA, Harvard, Vancouver, ISO, and other styles
8

Serrano, Manuel. "Vers une compilation portable et performante des langages fonctionnels /." Le Chesnay : INRIA, 1995. http://catalogue.bnf.fr/ark:/12148/cb370188956.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Roegel, Denis. "Étude de la sémantique de programmes parallèles réels en TLA." Nancy 1, 1996. http://www.theses.fr/1996NAN10272.

Full text
Abstract:
Dans la première partie de cette thèse, nous avons voulu faciliter la dérivation de programmes parallèles réels à partir de spécifications abstraites. Nous avons défini une étape intermédiaire (cTLA) comme un croisement entre un langage de spécification (TLA+) et un langage parallèle réel. Nous avons conservé des structures de données très souples et abstraites, et en même temps, nous avons incorporé des structures de contrôle plus proches de langages réels. Toute la sémantique du langage a été définie au sein de TLA+. Dans la seconde partie, nous avons étudié des réseaux d'actions TLA. Un réseau est une représentation graphique d'une exécution structurée. Nous avons défini une opération de réduction sur les réseaux, dont le but est de trouver un réseau équivalent à un réseau donné, mais plus simple, au sens où le nombre d'arêtes est plus petit. Le système de réécriture que nous avons proposé correspond à des simplifications élémentaires dans les réseaux, et par voie de conséquence dans les programmes parallèles pouvant correspondre aux réseaux. Ce système est confluent. Lorsqu’un réseau peut être entièrement réduit à une action TLA, et si ce réseau satisfait quelques contraintes simples, le calcul représenté par le réseau est observationnellement équivalent à l'exécution de l'action qui est sa réduction. La réduction est alors un moyen de prouver qu'une action est implémentée par un groupe structure d'actions
APA, Harvard, Vancouver, ISO, and other styles
10

Dillon, Eric. "Propositions pour la maîtrise de la programmation par échange de messages." Nancy 1, 1997. http://www.theses.fr/1997NAN10192.

Full text
Abstract:
Le travail de thèse a été dirigé par le besoin de maîtrise de la programmation paralléle par échange de messages, qui peut être résumé en deux points : - une aide et une méthodologie lors de la conception de l'application parallèle ; - une garantie de performances optimales à l'exécution. Dans ce cadre, après avoir identifié les problèmes concrets posés par l'utilisation des bibliothèques de communication à la fois sur des réseaux de stations et sur de véritables machines parallèles, nous proposons deux approches permettant de résoudre tout ou partie de ces problèmes. La première approche est présentée à travers une interface C++ dédiée à la programmation par échange de messages. Cette interface, appelée Para++ apporte essentiellement une simplification sur la structure de l'application, et une simplification sur l'utilisation des services de deux bibliothèques de communication, PYM et MPI. La seconde approche propose d'apporter des solutions plus globales à l'utilisateur de la programmation par échange de messages. Elle est basée sur la définition d'un formalisme appelé MeDLey permettant d'exprimer les communications au sein d'une application parallèle. À partir de cette spécification, un générateur automatique de fonctions de communications va faire tous les choix concernant l'implantation des communications, laissant l'utilisateur se consacrer à l'implantation parallèle de son modèle sans avoir à se soucier de l'efficacité des communications. Enfin, les deux approches sont comparées et critiquées.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "C (langage de programmation)"

1

Dax, Philippe. Langage C. 6th ed. Paris: Eyrolles, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Fieux, Loïc. Le langage C. Paris: CampusPress, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Sirois-Dumais, Renée. Initiation au langage C. Sillery, Québec: Presses de l'Université du Québec, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Plauger, P. J. Standard C. Redmond, Wash: Microsoft Press, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Dupin, Ste phane. C++. Paris: CampusPress, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Jacques, Philipp. Du procédural à l'objet: Les langages C et C++. Paris: Ellipses, 2007.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Harbison, Samuel P. Langage C, manuel de référence. Paris: Masson, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Donay, Christophe. Le langage Turbo-C. Paris: Editests, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Purdum, Jack J. C programming guide. 3rd ed. Carmel, Ind: Que Corporation, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Purdum, Jack J. C programming guide. 2nd ed. Indianapolis: Que Corp., 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "C (langage de programmation)"

1

Beringer, Lennart. "Verified Software Units." In Programming Languages and Systems, 118–47. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72019-3_5.

Full text
Abstract:
AbstractModularity - the partitioning of software into units of functionality that interact with each other via interfaces - has been the mainstay of software development for half a century. In case of the C language, the main mechanism for modularity is the compilation unit / header file abstraction. This paper complements programmatic modularity for C with modularity idioms for specification and verification in the context of Verifiable C, an expressive separation logic for CompCert . Technical innovations include (i) abstract predicate declarations – existential packages that combine Parkinson & Bierman’s abstract predicates with their client-visible reasoning principles; (ii) residual predicates, which help enforcing data abstraction in callback-rich code; and (iii) an application to pure (Smalltalk-style) objects that connects code verification to model-level reasoning about features such as subtyping, self, inheritance, and late binding. We introduce our techniques using concrete example modules that have all been verified using the Coq proof assistant and combine to fully linked verified programs using a novel, abstraction-respecting component composition rule for Verifiable C.
APA, Harvard, Vancouver, ISO, and other styles
2

Léonard, Marielle. "Zoom sur quelques erreurs récurrentes lors des premiers apprentissages en algorithmique." In Enseigner, apprendre, former à l’informatique à l'école : regards croisés, 135–54. Université Paris Cité, 2024. http://dx.doi.org/10.53480/2024iecare07u.

Full text
Abstract:
Les premiers apprentissages à l’algorithmique sont dispensés à l’école obligatoire notamment dans des environnements de programmation par blocs. Dans cette contribution, nous étudions la confrontation d’élèves de 7 à 15 ans avec des puzzles de programmation en langage Scratch soumis au concours Algoréa (plus de 200 000 participants), qui consistent à commander un robot virtuel sur une grille. À cette fin, nous nous appuyons sur la théorie des champs conceptuels de Vergnaud [Vergnaud, G. (1991). La théorie des champs conceptuels, dans Recherches en didactique des mathématiques, La Pensée Sauvage.] articulée avec une méthode d’analyse de traces d’interaction collectées à plusieurs échelles. Cette méthode nous permet d’identifier les erreurs récurrentes lors des premiers apprentissages en algorithmique, erreurs que nous interprétons en termes de conceptualisation-en-acte dans le sens que Vergnaud donne à ce terme. L’enjeu est d’une part de construire des connaissances relatives à l’apprentissage des notions de base de l’algorithmique dans des environnements de programmation par blocs, et d’autre part de donner quelques repères conceptuels aux enseignants et enseignantes en charge de l’initiation à ce domaine. Nous expliquons les différentes étapes de cette méthode et nous l’appliquons sur un exemple représentatif.
APA, Harvard, Vancouver, ISO, and other styles
3

"Leçon du — 1950 C." In Leçons de linguistique de Gustave Guillaume - 1949-1950 (vol. 25) Psychosystématique du langage. Principes méthodes et applications (II) suivi de Grammaire particulière du français et grammaire générale (V), 207–10. Presses de l'Université Laval, 2018. http://dx.doi.org/10.2307/j.ctv1g248k5.28.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Esso, Lasm constant. "Les noms devises comme actes de langage chez les odjoukrou." In Aux carrefours de la langue, de la littérature, de la didactique et de la société : la recherche francophone en action, 139–54. Observatoire européen du plurilinguisme, 2021. http://dx.doi.org/10.3917/oep.agbef.2021.01.0139.

Full text
Abstract:
Dans les sociétés dites orales à l’instar de celles des cultures négro-africaines traditionnelles, la communication ne s’effectue pas toujours au moyen de la parole nue. Elle prend toutes les formes du langage et se véhicule en certaines circonstances par le biais de médias comme le tambour, l’olifant etc. Ce langage transcodé met toujours en exergue la fonction performative des discours littéraires que sont entre autres la devise, le proverbe, le chant, la prière etc. En effet, chez les Odjoukrou, la devise est une dénomination qui marque l’accès de l’individu ou de la communauté à la noblesse. Ainsi, à travers les noms devises odjoukrou, la présente analyse explicite la communication en tant que modalité de l’agir en y convoquant les notions d’actes de langage, d’image de soi et d’auditoire. Il en découle que le nom devise odjoukrou médiatisé est une partition musicale, un panégyrique, une poésie initiatique destinés à célébrer la noblesse. Chez le noble, le langage, célébration de la vertu et de la puissance est efficace car il est création, recréation, transformation de soi et de l’auditoire.
APA, Harvard, Vancouver, ISO, and other styles
5

Péran, René. "Nouvelles perspectives en psychanalyse à partir de l'œuvre de Piera Aulagnier." In Nouvelles perspectives en psychanalyse à partir de l'œuvre de Piera Aulagnier, 161–66. In Press, 2018. http://dx.doi.org/10.3917/pres.barre.2018.01.0162.

Full text
Abstract:
La quête de sens est ce mouvement indispensable à la construction psychique qui, comme l’huitre perlière sécrète sa nébuleuse de représentations autour des grains de sable émanant du trauma infantile. Elle est soutenue par le travail de l’interprète, concernant l’analyste comme l’analysant, qui flirtent avec le « discours intérieur » (J.-C. Rolland) et le « langage pictural » (P. Aulagnier).
APA, Harvard, Vancouver, ISO, and other styles
6

"Linguistics and semiotics II: C. S. Peirce's influence on 20th-century linguistics." In History of the Language Sciences / Geschichte der Sprachwissenschaften / Histoire des sciences du langage, Part 3, edited by Sylvain Auroux, E. F. K. Koerner, Hans-Josef Niederehe, and Kees Versteegh. Berlin • New York: Walter de Gruyter, 2006. http://dx.doi.org/10.1515/9783110167368.3.39.2589.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

"Leçon du 2 décembre 1949 C." In Leçons de linguistique de Gustave Guillaume - 1949-1950 (vol. 25) Psychosystématique du langage. Principes méthodes et applications (II) suivi de Grammaire particulière du français et grammaire générale (V), 195–96. Presses de l'Université Laval, 2018. http://dx.doi.org/10.2307/j.ctv1g248k5.25.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

"Leçon du 20 janvier 1950 C." In Leçons de linguistique de Gustave Guillaume - 1949-1950 (vol. 25) Psychosystématique du langage. Principes méthodes et applications (II) suivi de Grammaire particulière du français et grammaire générale (V), 197–200. Presses de l'Université Laval, 2018. http://dx.doi.org/10.2307/j.ctv1g248k5.26.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

"Leçon du 27 janvier 1950 C." In Leçons de linguistique de Gustave Guillaume - 1949-1950 (vol. 25) Psychosystématique du langage. Principes méthodes et applications (II) suivi de Grammaire particulière du français et grammaire générale (V), 201–6. Presses de l'Université Laval, 2018. http://dx.doi.org/10.2307/j.ctv1g248k5.27.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

"Leçon du 18 novembre 1949 C." In Leçons de linguistique de Gustave Guillaume - 1949-1950 (vol. 25) Psychosystématique du langage. Principes méthodes et applications (II) suivi de Grammaire particulière du français et grammaire générale (V), 191–94. Presses de l'Université Laval, 2018. http://dx.doi.org/10.2307/j.ctv1g248k5.24.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "C (langage de programmation)"

1

Brett, S. J., S. Kimpton, and A. Clark. "Investigation and Post Service Creep Testing of a Mis-Heat Treated Seam Welded Grade 91 Hot Reheat Bend." In AM-EPRI 2016, edited by J. Parker, J. Shingledecker, and J. Siefert. ASM International, 2016. http://dx.doi.org/10.31399/asm.cp.am-epri-2016p0494.

Full text
Abstract:
Abstract This paper reports the results of a collaborative investigation of an ex-service grade 91 bend carried out by the UK generating companies Centrica, SSE, Engie and RWE. As part of the handover exercise for Centrica’s Langage power station in 2009 a number of routine checks were carried out on the main steam and hot reheat grade 91 steam pipework. In some cases low hardness readings were found with subsequent metallurgical replication showing the presence of an aberrant non martensitic microstructure. This led to a more extensive inspection programme on the steam lines and the discovery of other areas of suspect material. A review of the operating capability of the plant, including detailed pipework stress analysis and a pipework peaking assessment, along with the assumption that lower strength grade 91 material was present, led to the steam lines being down rated and returning to service under these revised conditions. At the first C inspection in December 2012, after the HRSG and associated pipework had operated for 18720 hours, a bend with a soft weld, along with a section of the straight pipe on either side, was removed from service. An investigation was undertaken to establish how long this component would have survived, had it been left in service, and to consider the implications for the future operation of the plant.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'C (langage de programmation)' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography