La formalisation des langages de programmation
Langages d'interprétation des schémas récursifs
L'Edif, un format estàndar per a l'intercanvi de dades de dissenys electrònics.
En estos últimos años, el rápido incremento de los sistemas CAE/CAD en el campo de la electrónica ha hecho que la transferencia de información de unos sistemas a otros fuese un problema creciente. En consecuencia, se ha hecho necesaria una estandarización de los lenguajes de diseño y de los formatos de intercambio de datos. EDIF (Electronic Design Interchange Format) nace para responder a esta necesidad de estandarización.Este artículo describe la implementación de un reconocedor del formato EDIF...
Les tests et leur caractérisation syntaxique
Logic and functional programming by retractions
Logic and functional programming by retractions : operational semantics