Memory Representations in Rewriting Logic Semantics Definitions - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Electronic Notes in Theoretical Computer Science Année : 2009

Memory Representations in Rewriting Logic Semantics Definitions

Dates et versions

inria-00535864 , version 1 (13-11-2010)

Identifiants

Citer

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

Collections

INRIA INRIA2
23 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More