Skip to Main content Skip to Navigation
Journal articles

Simulating Algebraic Specification Genericity on Languages with Initial Semantics.

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.
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download
Contributor : Anderson Santana de Oliveira <>
Submitted on : Wednesday, November 16, 2005 - 11:44:23 AM
Last modification on : Friday, April 12, 2019 - 10:20:21 AM
Long-term archiving on: : Friday, April 2, 2010 - 7:27:15 PM


  • HAL Id : inria-00000749, version 1


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



Record views


Files downloads