inria-00076262, version 1

Executable specification of static semantics

Thierry Despeyroux () ¹

N° RR-0295 (1984)

• 1 :  CROAP (INRIA Sophia Antipolis)
• 
  INRIA France

Références bibliographiques

• Type de publication : Rapports
• Domaine : Informatique/Autre
• Titre : Executable specification of static semantics
• Résumé : Résumé disponible sur le PDF
• Langue du document : Anglais
• Type de rapport : Rapport de recherche
• Nombre de pages : 19
• Date de publication : 1984
• Mots-clés : Non disponible sur le PDF
• Date de rédaction : 05/1984
• Référence interne : RR-0295

Liste des fichiers attachés à ce document :

• inria-00076262, version 1
• http://hal.inria.fr/inria-00076262
• oai:hal.inria.fr:inria-00076262
• Contributeur : Rapport De Recherche Inria <>
• Soumis le : Mercredi 24 Mai 2006, 20:29:13
• Dernière modification le : Lundi 27 Octobre 2008, 16:04:19