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

Autor:	Nivela Alós, M. Pilar Brígida, Orejas Valdés, Fernando
Přispěvatelé:	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
Jazyk:	Spanish; Castilian
Rok vydání:	1985
Předmět:	Informàtica::Llenguatges de programació::Altres llenguatges de programació [Àrees temàtiques de la UPC] Llenguatges de programació Programming languages (Electronic computers) Merlín
Zdroj:	UPCommons. Portal del coneixement obert de la UPC Universitat Politècnica de Catalunya (UPC) Recercat. Dipósit de la Recerca de Catalunya instname
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bf7307ee2bf4223d5a0b46abbb99c10a http://hdl.handle.net/2117/109028 Zobrazit plný text záznamu