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

Home | About RECERCAT | Contact

Català | Castellano

All of RECERCAT

By Communities &
Collections By Defense Date By Authors By Titles By Subject

This Collection

By Defense Date By Authors By Titles By Subject

Statistics

View Statistics All RECERCAT

My RECERCAT

Other repositories directory

RECERCAT Home > Universitat Politècnica de Catalunya > Documents de recerca > View document

To access the full text documents, please follow this link: 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.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
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.

Show simple item record

All of RECERCAT

This Collection

Statistics

My RECERCAT

Related documents

Other documents of the same author