Simulating Algebraic Specification Genericity on Languages with Initial Semantics. - 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 : 2003

Simulating Algebraic Specification Genericity on Languages with Initial Semantics.

Martins Anamaria
  • Fonction : Auteur
Santana Anderson
  • Fonction : Auteur

Résumé

This paper discusses the concept of genericity often used in algebraic specification languages and how this concept can be simulated in a meta level in languages with purely initial semantics, as it is the case for ELAN and ASF+SDF. This proposal is being integrated into the FERUS tool, in development for ELAN, and will have the effect of providing in the meta level better modularity features without any changes to the language itself, as long as all manipulations are done through the operations available in the tool.
Fichier principal
Vignette du fichier
MMSO03.pdf (253.11 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00000749 , version 1 (16-11-2005)

Identifiants

  • HAL Id : inria-00000749 , version 1

Citer

Martins Anamaria, Santana Anderson. Simulating Algebraic Specification Genericity on Languages with Initial Semantics.. Electronic Notes in Theoretical Computer Science, 2003, Electr. Notes Theor. Comput. Sci., 95, pp.131-148. ⟨inria-00000749⟩
41 Consultations
71 Téléchargements

Partager

Gmail Facebook X LinkedIn More