HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
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