Contributions mathématiques
Au sujet des abus de langages en informatique
Duval, Dominique1
1 LACO, Université de Limoges 123 avenue Albert Thomas F-87060 Limoges Cedex
Femmes & math, Forum 5 des Jeunes Mathématiciennes (2002), pp. 21-23.

Les langages informatiques comportent de nombreux abus, c’est-à-dire des situations où les règles qui permettent d’écrire les programmes ne suffisent pas à décrire le sens de ces programmes : la syntaxe et la sémantique ne concordent pas. C’est le cas, par exemple, des “effets de bord”, susceptibles de modifier l’état d’une machine, sans que cela apparaisse clairement dans l’écriture du programme. Dès qu’on souhaite appréhender l’informatique sous un angle théorique, ces abus de langages s’avèrent très gênants, et il est tentant de les supprimer, en se ramenant à une situation complètement explicite où syntaxe et sémantique concordent parfaitement. Cependant, ces abus de langages fournissent des informations intéressantes : typiquement, ce qui est caché est d’une autre nature que ce qui est montré, et en montrant tout on perd ce type d’informations.

Dans cet exposé, nous présentons un travail fait avec Christian LAIR (Université de Paris 7), qui montre que très souvent, en fait, ces abus de langage sont organisés selon une structure algébrique précise. On peut alors, pour les expliciter, utiliser une construction algébrique voisine d’un produit tensoriel. Mais surtout, il devient possible de prendre en compte directement les aspects implicites des langages informatiques, dans un formalisme algébrique adapté.

Duval, Dominique 1

1 LACO, Université de Limoges 123 avenue Albert Thomas F-87060 Limoges Cedex 
@article{RFM_2002__6_S1_21_0,
     author = {Duval, Dominique},
     title = {Au sujet des abus de langages en informatique},
     journal = {Femmes & math},
     pages = {21--23},
     publisher = {Association femmes et math\'ematiques},
     year = {2002},
     language = {fr},
     url = {http://www.numdam.org/item/RFM_2002__6_S1_21_0/}
}
TY  - JOUR
AU  - Duval, Dominique
TI  - Au sujet des abus de langages en informatique
JO  - Femmes & math
PY  - 2002
SP  - 21
EP  - 23
PB  - Association femmes et mathématiques
UR  - http://www.numdam.org/item/RFM_2002__6_S1_21_0/
LA  - fr
ID  - RFM_2002__6_S1_21_0
ER  - 
%0 Journal Article
%A Duval, Dominique
%T Au sujet des abus de langages en informatique
%J Femmes & math
%D 2002
%P 21-23
%I Association femmes et mathématiques
%U http://www.numdam.org/item/RFM_2002__6_S1_21_0/
%G fr
%F RFM_2002__6_S1_21_0
Duval, Dominique. Au sujet des abus de langages en informatique. Femmes & math, Forum 5 des Jeunes Mathématiciennes (2002), pp. 21-23. http://www.numdam.org/item/RFM_2002__6_S1_21_0/

[Ehresmann 66] Charles Ehresmann. Introduction to the theory of structured categories. Technical Report 10, University of Kansas at Lawrence, 1966. | Zbl

[Ehresmann 68] Charles Ehresmann. Esquisses et types de structures algébriques. Bulletin de l’Institut Polytechnique, Iasi, 14, pp. 1-32, 1968. | MR | Zbl

[Lair 87] Christian Lair. Trames et sémantiques catégoriques des systèmes de trames. Diagrammes, 18 :CL1-CL47, 1987. | Numdam | MR | Zbl

[ref] Christian Lair and Dominique Duval. Sketches and specifications : reference man- ual. Rapport de recherche du LACO, 2000. http ://www.unilim.fr/laco/rapports.        [ref1] First part : Compositive graphs.        [ref2] Second part : Projective sketches.        [ref3] Third part : Models.

[guide] Domimque Duval and Christian Lair. Sketches and specifications : User’s guide. Rapport de recherche du LACO, 2000. http ://www.unilim.fr/laco/rapports.        [guidel] First part : Wefts for explicit specification.        [guide2] Second part : Mosaics for implicit specification.

[state] Dominique Duval and Christian Lair. Mosaics for specifications with implicit state. Rapport de recherche du LACO, 2000. http ://www.unilim.fr/laco/rapports.