| Property |
Value |
| dbo:abstract
|
- EXEL est un langage de description algorithmique conçu en 1973 par l'informaticien français Jacques Arsac qui a baptisé ce langage à partir du mot « excellent ». Un des buts de ce langage est de décrire un algorithme de façon indépendante du langage dans lequel il sera ensuite implémenté qui, au demeurant, peut être EXEL lui-même... Le langage EXEL permet de préciser aussi bien les caractéristiques des données (matrice quelconque, matrice triangularisée, etc.) que les algorithmes eux-mêmes (par exemple produit matriciel). Un algorithme d'inversion de matrice que l'on compose avec les caractéristiques d'une matrice triangulaire donne automatiquement par simplifications algébriques un algorithme simplifié d'inversion optimisé pour les matrices triangulaires, par exemple. L'auteur définit le schéma des étapes de la méthode informatique comme suit: Situation concrète → Problème → Algorithme → Programme → Résultats Au début, il y a un état des choses qui génère un problème: c'est ce que l'auteur désigne par une situation concrète décrite en langue naturelle. Par abstraction, elle lui est associée une représentation formelle. Celle-ci définit le problème.Pour résoudre ce problème, il faudra dans la mesure du possible (problèmes NP-complet...) construire un algorithme. La traduction de cet algorithme dans un langage de programmation constitue le Programme qui sera exécuté sur ordinateur et fournira des résultats. L'interprétation des résultats est laissée aux soins de l'Homme. L'idée, implicite de la conception du langage EXEL, c'est, dans la mesure du possible, de construire un algorithme performant, de façon systématique: toutes les transformations et simplifications seront prises en charge par la machine, dans ce cas l'ordinateur, permettant d'aboutir aux résultats... EXEL est à l'algorithmique ce que la géométrie analytique est à la géométrie: ou bien d'emblée une solution géométrique est trouvée, sinon en peut toujours rapporter les hypothèses du problème à la géométrie analytique (i.e. coordonnées cartésiennes...). Avec le langage EXEL, ou bien d'emblée un algorithme performant est trouvé, ou bien le langage EXEL offre des possibilités pour la manipulation formelle des programmes qui permettent de construire un algorithme performant...Il n' y à pas de méthode générale pour construire un algorithme pas plus qu'il y a une méthode générale pour résoudre les vieux problèmes de construction géométrique, ou pour trouver une démonstration d'un théorème. C'est pourquoi la présentation du langage EXEL se fera à l'aide d'exemples. L'écriture fréquente de longs programmes avec des langages tels que Fortran, Algol ,Pascal... est fastidieuse. Pour permettre une écriture condensée des programmes, à l'instar des mathématiques où il existe des abréviations comme , pour désigner tout élément, , pour il existe... les instructions du langage EXEL ont été définies comme suit : (fr)
- EXEL est un langage de description algorithmique conçu en 1973 par l'informaticien français Jacques Arsac qui a baptisé ce langage à partir du mot « excellent ». Un des buts de ce langage est de décrire un algorithme de façon indépendante du langage dans lequel il sera ensuite implémenté qui, au demeurant, peut être EXEL lui-même... Le langage EXEL permet de préciser aussi bien les caractéristiques des données (matrice quelconque, matrice triangularisée, etc.) que les algorithmes eux-mêmes (par exemple produit matriciel). Un algorithme d'inversion de matrice que l'on compose avec les caractéristiques d'une matrice triangulaire donne automatiquement par simplifications algébriques un algorithme simplifié d'inversion optimisé pour les matrices triangulaires, par exemple. L'auteur définit le schéma des étapes de la méthode informatique comme suit: Situation concrète → Problème → Algorithme → Programme → Résultats Au début, il y a un état des choses qui génère un problème: c'est ce que l'auteur désigne par une situation concrète décrite en langue naturelle. Par abstraction, elle lui est associée une représentation formelle. Celle-ci définit le problème.Pour résoudre ce problème, il faudra dans la mesure du possible (problèmes NP-complet...) construire un algorithme. La traduction de cet algorithme dans un langage de programmation constitue le Programme qui sera exécuté sur ordinateur et fournira des résultats. L'interprétation des résultats est laissée aux soins de l'Homme. L'idée, implicite de la conception du langage EXEL, c'est, dans la mesure du possible, de construire un algorithme performant, de façon systématique: toutes les transformations et simplifications seront prises en charge par la machine, dans ce cas l'ordinateur, permettant d'aboutir aux résultats... EXEL est à l'algorithmique ce que la géométrie analytique est à la géométrie: ou bien d'emblée une solution géométrique est trouvée, sinon en peut toujours rapporter les hypothèses du problème à la géométrie analytique (i.e. coordonnées cartésiennes...). Avec le langage EXEL, ou bien d'emblée un algorithme performant est trouvé, ou bien le langage EXEL offre des possibilités pour la manipulation formelle des programmes qui permettent de construire un algorithme performant...Il n' y à pas de méthode générale pour construire un algorithme pas plus qu'il y a une méthode générale pour résoudre les vieux problèmes de construction géométrique, ou pour trouver une démonstration d'un théorème. C'est pourquoi la présentation du langage EXEL se fera à l'aide d'exemples. L'écriture fréquente de longs programmes avec des langages tels que Fortran, Algol ,Pascal... est fastidieuse. Pour permettre une écriture condensée des programmes, à l'instar des mathématiques où il existe des abréviations comme , pour désigner tout élément, , pour il existe... les instructions du langage EXEL ont été définies comme suit : (fr)
|
| dbo:developer
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 19338 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1973 (xsd:integer)
- 1974 (xsd:integer)
- 1976 (xsd:integer)
- 1978 (xsd:integer)
- 1979 (xsd:integer)
- décembre 1979 (fr)
|
| prop-fr:auteur
|
- Bernard Robinet (fr)
- Christian Galtier (fr)
- François Nozic (fr)
- Frédéric Boussinot (fr)
- Gilles Blain (fr)
- Gilles Ruggiu (fr)
- Guy Cousineau (fr)
- Jacques Arsac (fr)
- Jean-Louis Planes (fr)
- Jean-Pierre Vasseur (fr)
- Louis Nolin (fr)
- Tran Van Khai (fr)
- Bernard Robinet (fr)
- Christian Galtier (fr)
- François Nozic (fr)
- Frédéric Boussinot (fr)
- Gilles Blain (fr)
- Gilles Ruggiu (fr)
- Guy Cousineau (fr)
- Jacques Arsac (fr)
- Jean-Louis Planes (fr)
- Jean-Pierre Vasseur (fr)
- Louis Nolin (fr)
- Tran Van Khai (fr)
|
| prop-fr:auteurOuvrage
|
- J. Loeckx (fr)
- J. Loeckx (fr)
|
| prop-fr:auteursOuvrage
|
- Patrick C. Fischer et Jeffrey D. Ullman (fr)
- Patrick C. Fischer et Jeffrey D. Ullman (fr)
|
| prop-fr:collection
|
- Lecture Notes in Computer Science (fr)
- Lecture Notes in Computer Science (fr)
|
| prop-fr:date
|
- 1977 (xsd:integer)
- 1978 (xsd:integer)
- 1979 (xsd:integer)
- 1980 (xsd:integer)
|
| prop-fr:doi
|
- 10.100700 (xsd:double)
- 10.101600 (xsd:double)
- 10.114500 (xsd:double)
|
| prop-fr:issn
|
- 35 (xsd:integer)
- 302 (xsd:integer)
- 397 (xsd:integer)
|
| prop-fr:journal
|
- Revue Technique Thomson-CSF (fr)
- Revue francaise d'automatique informatique recherche operationnelle (fr)
- Revue Technique Thomson-CSF (fr)
- Revue francaise d'automatique informatique recherche operationnelle (fr)
|
| prop-fr:langue
| |
| prop-fr:lienAuteur
|
- Jacques Arsac (fr)
- Jacques Arsac (fr)
|
| prop-fr:lieu
| |
| prop-fr:mois
|
- janvier (fr)
- janvier (fr)
|
| prop-fr:natureOuvrage
|
- DEUG (fr)
- A.E.A. Fondements de la programmation (fr)
- Licence en informatique (fr)
- Thèse Docteur-Ingénieur (fr)
- DEUG (fr)
- A.E.A. Fondements de la programmation (fr)
- Licence en informatique (fr)
- Thèse Docteur-Ingénieur (fr)
|
| prop-fr:nom
| |
| prop-fr:numéro
|
- 1 (xsd:integer)
- 3 (xsd:integer)
- 4 (xsd:integer)
|
| prop-fr:numéroDansCollection
| |
| prop-fr:pages
|
- 3 (xsd:integer)
- 13 (xsd:integer)
- 43 (xsd:integer)
- 63 (xsd:integer)
- 201 (xsd:integer)
- 209 (xsd:integer)
- 213 (xsd:integer)
- 715 (xsd:integer)
- 921 (xsd:integer)
|
| prop-fr:pagesTotales
|
- 62 (xsd:integer)
- 80 (xsd:integer)
- 109 (xsd:integer)
|
| prop-fr:passage
|
- 108 (xsd:integer)
- 112 (xsd:integer)
|
| prop-fr:prénom
|
- Jacques (fr)
- Jacques (fr)
|
| prop-fr:présentationEnLigne
| |
| prop-fr:périodique
|
- Communications of the ACM (fr)
- Advances in Electronics and Electron Physics (fr)
- RAIRO Informatique théorique (fr)
- Communications of the ACM (fr)
- Advances in Electronics and Electron Physics (fr)
- RAIRO Informatique théorique (fr)
|
| prop-fr:sudoc
| |
| prop-fr:titre
|
- Cours de programmation (fr)
- Cours de programmation avec EXEL (fr)
- Interpréteur EXEL-COBOL (fr)
- La construction de programmes structurés (fr)
- La programmation en EXEL (fr)
- Le système de programmation structurée EXEL (fr)
- Nouvelles leçons de programmation avec EXEL (fr)
- The EXEL language (fr)
- The Edelweiss system (fr)
- Un modèle fonctionnel des structures de contrôle (fr)
- Quelques remarques et suggestions sur la justification des algorithmes (fr)
- Un interpreteur utilisant un appel par nécessite avec partage pour l'évaluation des expressions de procedure du langage EXEL (fr)
- Syntactic source to source transforms and program manipulation (fr)
- Grammaire du langage EXEL, interpréteur EXEL, sémantique des structures de contrôle (fr)
- Cours de programmation (fr)
- Cours de programmation avec EXEL (fr)
- Interpréteur EXEL-COBOL (fr)
- La construction de programmes structurés (fr)
- La programmation en EXEL (fr)
- Le système de programmation structurée EXEL (fr)
- Nouvelles leçons de programmation avec EXEL (fr)
- The EXEL language (fr)
- The Edelweiss system (fr)
- Un modèle fonctionnel des structures de contrôle (fr)
- Quelques remarques et suggestions sur la justification des algorithmes (fr)
- Un interpreteur utilisant un appel par nécessite avec partage pour l'évaluation des expressions de procedure du langage EXEL (fr)
- Syntactic source to source transforms and program manipulation (fr)
- Grammaire du langage EXEL, interpréteur EXEL, sémantique des structures de contrôle (fr)
|
| prop-fr:titreChapitre
|
- Formalization of Exel (fr)
- Langages sans etiquettes et transformations de programmes (fr)
- Formalization of Exel (fr)
- Langages sans etiquettes et transformations de programmes (fr)
|
| prop-fr:titreOuvrage
|
- Automata, Languages and Programming (fr)
- ACM Symposium on Principles of Programming Languages (fr)
- Automata, Languages and Programming (fr)
- ACM Symposium on Principles of Programming Languages (fr)
|
| prop-fr:volume
|
- 6 (xsd:integer)
- 10 (xsd:integer)
- 11 (xsd:integer)
- 22 (xsd:integer)
- 48 (xsd:integer)
- B3 (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Elsevier (fr)
- Dunod (fr)
- ACM Press (fr)
- Université de Paris VI, Institut de programmation (fr)
- Elsevier (fr)
- Dunod (fr)
- ACM Press (fr)
- Université de Paris VI, Institut de programmation (fr)
|
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- EXEL est un langage de description algorithmique conçu en 1973 par l'informaticien français Jacques Arsac qui a baptisé ce langage à partir du mot « excellent ». Un des buts de ce langage est de décrire un algorithme de façon indépendante du langage dans lequel il sera ensuite implémenté qui, au demeurant, peut être EXEL lui-même... Le langage EXEL permet de préciser aussi bien les caractéristiques des données (matrice quelconque, matrice triangularisée, etc.) que les algorithmes eux-mêmes (par exemple produit matriciel). Un algorithme d'inversion de matrice que l'on compose avec les caractéristiques d'une matrice triangulaire donne automatiquement par simplifications algébriques un algorithme simplifié d'inversion optimisé pour les matrices triangulaires, par exemple. (fr)
- EXEL est un langage de description algorithmique conçu en 1973 par l'informaticien français Jacques Arsac qui a baptisé ce langage à partir du mot « excellent ». Un des buts de ce langage est de décrire un algorithme de façon indépendante du langage dans lequel il sera ensuite implémenté qui, au demeurant, peut être EXEL lui-même... Le langage EXEL permet de préciser aussi bien les caractéristiques des données (matrice quelconque, matrice triangularisée, etc.) que les algorithmes eux-mêmes (par exemple produit matriciel). Un algorithme d'inversion de matrice que l'on compose avec les caractéristiques d'une matrice triangulaire donne automatiquement par simplifications algébriques un algorithme simplifié d'inversion optimisé pour les matrices triangulaires, par exemple. (fr)
|
| rdfs:label
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
