Abstract

Les vastes programmes informatiques ont pour caracteristique, a moins qu'ils ne soient modulaires, d'etre extremement difficiles a comprendre et a conserver. C'est pour cette raison qu'il existe des langages et des methodes de programmation qui permettent de mettre en relief la modularite du code. L'A. propose ici une formalisation de la grammaire syntagmatique menee par la tete concue dans cette perspective. Il formalise les principes de la grammaire en les considerant comme des assertions sur le langage comprises independamment et decrit l'interaction de ces principes separement des principes eux-memes. Cette approche, qui s'effectue dans le cadre de la theorie des categories, garantit la conservation de l'intention des principes de la grammaire, meme si d'autres principes sont ajoutes ou changes

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call