Anotaciones de Merlín, comportamiento de universos y semántica algebraica
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/109028
Tipus de documentText en actes de congrés
Data publicació1985
EditorE.T.S.I. de Telecomunicación
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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.
CitacióNivela, M., Orejas, F. Anotaciones de Merlín, comportamiento de universos y semántica algebraica. A: Congreso de Informática y Automática. "Actas del VI Congreso de Informática y Automática". Madrid: E.T.S.I. de Telecomunicación, 1985, p. 573-576.
Dipòsit legalM-33466-1985
ISBN84-7402-174-X
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1400015138573.pdf | 2,145Mb | Visualitza/Obre |