Anotaciones de Merlín, comportamiento de universos y semántica algebraica

Abstract

En este trabajo se presentan las ideas básicas seguidas para el diseño de un lenguaje de anotaciones para el lenguaje de programación Merlín. En concreto, las anotaciones se prevén en forma de especificaciones ecuacionales ligadas a los universos (construcción modular básica de Merlín), tanto a su componente de interfaz como a su componente de implementación. De cara a definir la semántica del lenguaje de anotaciones se ha optado por una semántica algebraica de comportamiento, en la que ciertas componentes son interpretadas inicialmente.

The basic ideas for the design of an annotation language for the programming language Merlin are presented. A new semantics based on behaviour is introduced to formally define annotations.