Simulating Algebraic Specification Genericity on Languages with Initial Semantics. - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Electronic Notes in Theoretical Computer Science Year : 2003

Simulating Algebraic Specification Genericity on Languages with Initial Semantics.

Martins Anamaria
  • Function : Author
Santana Anderson
  • Function : Author

Abstract

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 and versions

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

Identifiers

  • HAL Id : inria-00000749 , version 1

Cite

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 View
68 Download

Share

Gmail Facebook Twitter LinkedIn More