ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 24/9 - 2005  - pp.1187-1190  - doi:10.3166/tsi.24.1187-1190
TITRE
Typage, sûreté et sécurité

RÉSUMÉ
Ce texte présente brièvement une réflexion sur les langages de programmation et plus particulièrement sur l’apport des types. Ces quelques lignes n’ont pas la prétention de constituer un état de l’art du domaine mais sont le fruit d’un long intêret pour la notion de type de la part d’un enseignant-chercheur dont les activités de recherche et d’enseignement sont, depuis ses débuts, tournées vers la programmation, le typage,la sémantique et la preuve.
[...]


AUTEUR(S)
Catherine DUBOIS

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (51 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier