Memory Representations in Rewriting Logic Semantics Definitions

Mark Hills Hills Mark 1
1 ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
Inria Lille - Nord Europe, CWI - Centrum Wiskunde & Informatica
Type de document :
Article dans une revue
Electronic Notes in Theoretical Computer Science, Elsevier, 2009, 238 (3), pp.155-172. 〈10.1016/j.entcs.2009.05.018〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00535864
Contributeur : Jurgen Vinju <>
Soumis le : samedi 13 novembre 2010 - 15:54:03
Dernière modification le : mardi 13 décembre 2016 - 15:40:42

Lien texte intégral

Identifiants

Collections

Citation

Mark Hills, Hills Mark. Memory Representations in Rewriting Logic Semantics Definitions. Electronic Notes in Theoretical Computer Science, Elsevier, 2009, 238 (3), pp.155-172. 〈10.1016/j.entcs.2009.05.018〉. 〈inria-00535864〉

Partager

Métriques

Consultations de la notice

96