Disentangling Denotational Semantics Definitions

Fabio TireloRoberto BigonhaJoão Saraiva

Denotational semantics is a powerful technique for the formal definition of programming languages. However, because language constructs are not always orthogonal, usually many semantic equations in a definition must be aware of unrelated constructs semantics. Current modularity approaches for this formalism do not address this problem, providing for this reason tangled semantic definitions. This paper proposes an incremental approach for denotational semantics, in which each step can either add new features or adapt existing equations, by means of a formal language based on function transformation and aspect weaving.

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: