RECHERCHEZ parmi plus de 10 000 articles de référence ou pratiques et 4 000 articles d'actualité
PAR DOMAINE D'EXPERTISE
PAR SECTEUR INDUSTRIEL
PAR MOTS-CLES
NAVIGUER DANS LA
CARTOGRAPHIE INTERACTIVE
DÉCOUVREZ toute l'actualité, la veille technologique GRATUITE, les études de cas et les événements de chaque secteur de l'industrie.
Article précédent
Langages informatiquesArticle de référence | Réf : H2510 v1
Auteur(s) : Jean-François PERROT
Date de publication : 10 mars 1995
Article suivant
Langage CCet article fait partie de l’offre
Technologies logicielles Architectures des systèmes (215 articles en ce moment)
Cette offre vous donne accès à :
Une base complète et actualisée d'articles validés par des comités scientifiques
Un service Questions aux experts et des outils pratiques
Des Quiz interactifs pour valider la compréhension et ancrer les connaissances
Présentation
Lire l'article
Bibliographie & annexes
Inclus dans l'offre
Programmer, c’est communiquer une requête à une machine : on écrit un programme pour faire exécuter une certaine tâche à un ordinateur. La tâche en question peut être aujourd’hui fort complexe, et sa formulation directe dans le langage de la machine est hors de question. Le programme s’écrit dans un langage de programmation, dont le rôle est de soutenir l’effort intellectuel du programmeur en lui fournissant un cadre conceptuel plus ou moins confortable et plus ou moins bien adapté à la tâche devant être décrite. Les langages s’organisent selon plusieurs grands styles de programmation, qui diffèrent suivant les mécanismes intellectuels qu’ils mettent en jeu chez le programmeur et suivant les qualités de la formulation obtenue du point de vue de son traitement ultérieur (compilation, exécution, débogage, maintenance).
Le style impératif/procédural classique cherche à formuler la tâche à accomplir d’une manière directe en termes de changements d’états de la machine. Il a l’inconvénient d’enfermer le programmeur dans des structures de données rigides, soumises à des algorithmes plus ou moins compliqués, et de le contraindre à une analyse approfondie du problème à traiter. Cette analyse conduit à une reformulation abstraite en termes de systèmes de variables et de procédures opérant sur ces variables. Un tel exercice ne peut être pratiqué que par des professionnels rompus à l’algorithmisation et à la manipulation des structures de données, munis d’une culture technique que ne possède pas le commun des mortels. En outre, malgré les efforts prolongés des spécialistes, les textes des programmes obtenus se prêtent mal à une vérification automatique de leur validité.
Le style fonctionnel, de son côté, envisage la définition de la tâche à accomplir comme celle du calcul d’une fonction mathématique. Il a l’avantage de pouvoir mettre en branle une véritable théorie de la programmation, qui conduit par exemple à une forme de vérification sémantique, la synthèse de types. Il a l’inconvénient d’exiger de la part du programmeur un bagage mathématique non négligeable et de nécessiter un retour au style impératif pour traiter bon nombre de problèmes « pratiques »...
Vous êtes abonné à cette offre ?
Connectez-vous !
Vous souhaitez découvrir cette offre ?
Cet article est inclus dans l'offre :
TECHNOLOGIES LOGICIELLES ARCHITECTURES DES SYSTÈMES
(1) - GOLDBERG (A.), ROBSON (D.) - Smalltalk‐80, The Language - . Addison‐Wesley (1989).
(2) - MASINI (G.), NAPOLI (A.), COLNET (D.), LÉONARD (D.), TOMBRE (K.) - Les langages à objets - . InterÉditions (1989).
(3) - MEYER (B.) - Conception et programmation par objets, pour du logiciel de qualité - . Inter Éditions (1989).
(4) - GAMMA (E.), HELM (R.), JOHNSON (R.), VLISSIDES (J.) - Design Patterns, Elements of Reusable Object-Oriented Software - . Addison‐Wesley (1994).
(5) - CHRISMENT (C.), PUJOLLE (G.), ZURFLUH (G.) - Bases de données orientées objet - . H3840. Traité Informatique, Techniques de l’Ingénieur, juin 1992.
Vous êtes abonné à cette offre ?
Connectez-vous !
Vous souhaitez découvrir cette offre ?
Cet article est inclus dans l'offre :
TECHNOLOGIES LOGICIELLES ARCHITECTURES DES SYSTÈMES
DÉTAIL DE L'ABONNEMENT :
TOUS LES ARTICLES DE VOTRE RESSOURCE DOCUMENTAIRE
Accès aux :
Articles et leurs mises à jour
Nouveautés
Archives
Articles interactifs
Formats :
HTML illimité
Versions PDF
Site responsive (mobile)
Info parution :
Toutes les nouveautés de vos ressources documentaires par email
DES ARTICLES INTERACTIFS
Articles enrichis de quiz :
Expérience de lecture améliorée
Quiz attractifs, stimulants et variés
Compréhension et ancrage mémoriel assurés
DES SERVICES ET OUTILS PRATIQUES
Archives
Technologies anciennes et versions
antérieures des articles
Votre site est 100% responsive,
compatible PC, mobiles et tablettes.
FORMULES
Formule monoposte | Autres formules | |
---|---|---|
Ressources documentaires | ||
Consultation HTML des articles | Illimitée | Illimitée |
Quiz d'entraînement | Illimités | Illimités |
Téléchargement des versions PDF | 5 / jour | Selon devis |
Accès aux archives | Oui | Oui |
Info parution | Oui | Oui |
Services inclus | ||
Questions aux experts (1) | 4 / an | Jusqu'à 12 par an |
Articles Découverte | 5 / an | Jusqu'à 7 par an |
Dictionnaire technique multilingue | Oui | Oui |
(1) Non disponible pour les lycées, les établissements d’enseignement supérieur et autres organismes de formation. |
||
Formule 12 mois 1 945 € HT |
Autres formules |
1 - UNE NOUVELLE MANIÈRE DE PROGRAMMER
Information
Quiz d'entraînement bientôt disponible
TECHNIQUES DE L'INGENIEUR
L'EXPERTISE TECHNIQUE ET SCIENTIFIQUE
DE RÉFÉRENCE
ÉDITION - FORMATION - CONSEIL :
Avec Techniques de l'Ingénieur, retrouvez tous les articles scientifiques et techniques : base de données, veille technologique, documentation et expertise technique
LOGICIELS
Automatique - Robotique | Biomédical - Pharma | Construction et travaux publics | Électronique - Photonique | Énergies | Environnement - Sécurité | Génie industriel | Ingénierie des transports | Innovation | Matériaux | Mécanique | Mesures - Analyses | Procédés chimie - bio - agro | Sciences fondamentales | Technologies de l'information
ACCUEIL | A PROPOS | EXPERTS SCIENTIFIQUES | NOUS REJOINDRE | PUBLICITÉ | PLAN DU SITE | CGU | CGV | MENTIONS LÉGALES | RGPD | AIDE | FAQ | NOUS CONTACTER
PAIEMENT
SÉCURISÉ
OUVERTURE RAPIDE
DE VOS DROITS
ASSISTANCE TÉLÉPHONIQUE
+33 (0)1 53 35 20 20