Simulating Algebraic Specification Genericity on Languages with Initial Semantics | Zendy

Anamaria Martins Moreira | Zendy; Anderson Santana de Oliveira | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Simulating Algebraic Specification Genericity on Languages with Initial Semantics

Author(s) -

Anamaria Martins Moreira,

Anderson Santana de Oliveira

Publication year - 2004

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.04.009

Subject(s) - programming language , algebraic specification , modularity (biology) , computer science , semantics (computer science) , algebraic semantics , algebraic number , specification language , algebra over a field , mathematics , pure mathematics , mathematical analysis , genetics , biology

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research