Title:
|
Anotaciones de Merlín, comportamiento de universos y semántica algebraica
|
Author:
|
Nivela Alós, M. Pilar Brígida; Orejas Valdés, Fernando
|
Other authors:
|
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Facultat d'Informàtica de Barcelona; Universitat Politècnica de Catalunya. LOGPROG - Lògica i Programació; Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
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. |
Abstract:
|
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. |
Subject(s):
|
-Àrees temàtiques de la UPC::Informàtica::Llenguatges de programació::Altres llenguatges de programació -Programming languages (Electronic computers) -Merlín -Llenguatges de programació |
Rights:
|
|
Document type:
|
Article - Published version Conference Object |
Published by:
|
E.T.S.I. de Telecomunicación
|
Share:
|
|