.:. Consultation > Liste par auteurs > Tavares .:.

3 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

Un système de types pour la programmation par réécriture embarquée Tavares C. Université Henri Poincaré - Nancy I (02/03/2012), Claude Kirchner (Dir.) [tel-00702301 - version 1]

A type system for embedded rewriting languages with associative pattern matching: from theory to practice Tavares C. (2011) [hal-00643808 - version 2]

A Type System for Tom Kirchner C., Moreau P.-E., Tavares C. Dans Proceedings Tenth International Workshop on Rule-Based Programming - RULE 2009 21 (2009) [inria-00426439 - version 2]