Langage d'assemblage typé
Parler de Langage d'assemblage typé est un sujet qui a suscité intérêt et débat dans différents domaines. De son impact sur la société à sa pertinence dans l'histoire, Langage d'assemblage typé a fait l'objet d'études et de recherches dans diverses disciplines. Au fil du temps, Langage d'assemblage typé a évolué et a gagné en importance dans différents contextes, conduisant à une analyse plus profonde et plus détaillée de sa signification et de son influence sur notre vie quotidienne. Dans cet article, nous explorerons différents aspects liés à Langage d'assemblage typé et sa pertinence aujourd'hui, compte tenu de son impact sur la culture, l'économie et la politique, entre autres aspects.
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Consultez la liste des tâches à accomplir en page de discussion.En informatique, un langage d’assemblage typé (L.A.T.), ou assembleur typé, désigne un langage d’assemblage qui possède une syntaxe permettant d’exprimer de manière avancée certains invariants d’un programme, concernant essentiellement des données voire des flux d’exécution ; afin qu’ils soient vérifiés mécaniquement.
Pour être rapide, le principe consiste à doter un assembleur « traditionnel » d’un vérifieur de type dont la tâche consiste à vérifier de manière statique (avant l’assemblage) ou dynamique (pendant l’exécution) la « cohérence » d’un programme au travers du respect qu’il a desdits invariants (appelés types) fixés par ses concepteurs.
(On pourrait voir une analogie entre ce travail et celui que fait le physicien lorsqu’il vérifie l’homogénéité d’une formule : que l’homogénéité soit respectée ne prouve pas la formule, par contre, qu’elle ne le soit pas, la remet grandement en cause.)
Certains assembleurs typés s’accompagnent des facilités communes aux langages de haut niveau : glaneur de cellules (avec support de plusieurs fils d’exécutions), systèmes de modules facilitant la séparation puis réutilisation du code, optimisations de bas niveau (supplémentaires), objets, etc.
Un langage d’assemblage typé tente donc d’associer l’expressivité et l’efficacité d’un langage machine avec la fiabilité et l’aisance d’un langage de haut niveau, au détriment, consubstantiel, de sa portabilité.
En outre, il semblerait qu’un L.A.T.[1] soit un bon moyen d’exécuter du code provenant d’une source de faible confiance, sans recourir à un interprète, et permettant (en théorie tout du moins) des fonctionnalités aussi avancées que celles des machines virtuelles comme Java ou Microsoft .NET.
Liens externes
- TALx86, Un projet de recherche de l’Université de Cornell orienté vers l’architecture IA-32, quelque peu délaissé par ses concepteurs depuis 2000-2001, au profit de Cy-clone semblerait-il, mais qui possède une intéressante base théorique et une importante implémentation (en OCaml).
