RECERCAT Principal
>
Universitat Politècnica de Catalunya
>
Documents de recerca
>
Visualizar documento
Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/109028
| dc.contributor | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
|---|---|
| dc.contributor | Facultat d'Informàtica de Barcelona |
| dc.contributor | Universitat Politècnica de Catalunya. LOGPROG - Lògica i Programació |
| dc.contributor | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
| dc.contributor.author | Nivela Alós, M. Pilar Brígida |
| dc.contributor.author | Orejas Valdés, Fernando |
| dc.date | 1985 |
| dc.identifier.citation | 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. |
| dc.identifier.citation | 84-7402-174-X |
| dc.identifier.citation | M-33466-1985 |
| dc.identifier.uri | http://hdl.handle.net/2117/109028 |
| dc.description.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. |
| dc.description.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. |
| dc.language.iso | spa |
| dc.publisher | E.T.S.I. de Telecomunicación |
| dc.rights | info:eu-repo/semantics/openAccess |
| dc.subject | Àrees temàtiques de la UPC::Informàtica::Llenguatges de programació::Altres llenguatges de programació |
| dc.subject | Programming languages (Electronic computers) |
| dc.subject | Merlín |
| dc.subject | Llenguatges de programació |
| dc.title | Anotaciones de Merlín, comportamiento de universos y semántica algebraica |
| dc.type | info:eu-repo/semantics/publishedVersion |
| dc.type | info:eu-repo/semantics/conferenceObject |
Documentos relacionados
Otros documentos del mismo autor/a
Castro Rabal, Jorge; Farreres de la Morena, Xavier; Gabarró Vallès, Joaquim; Nivela Alós, M. Pilar Brígida; Pérez Poch, Antoni; Pino Blanco, Elvira; Rivero Almeida, José Miguel
Orejas Valdés, Fernando
Fiadeiro, Jose Luis; Orejas Valdés, Fernando
Hermann, Frank; Ehrig, Hartmut; Orejas Valdés, Fernando; Czarnecki, Krzysztof; Diskin, Zinovy; Xiong, Yingfei; Gottmann, Susann; Engel, Thomas
Schneider, Sven; Lambers, Leen; Orejas Valdés, Fernando