Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/15255
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Rodrigues, César J. | - |
dc.contributor.author | Martins, Manuel A. | - |
dc.contributor.author | Madeira, A. | - |
dc.contributor.author | Barbosa, L. S. | - |
dc.date.accessioned | 2011-12-15T16:37:15Z | - |
dc.date.available | 2011-12-15T16:37:15Z | - |
dc.date.issued | 2011 | - |
dc.identifier.issn | 2075-2180 | por |
dc.identifier.uri | https://hdl.handle.net/1822/15255 | - |
dc.description.abstract | The paper discusses the role of interpretations, understood as multifunctions that preserve and reflect logical consequence, as refinement witnesses in the general setting of π-institutions. This leads to a smooth generalization of the “refinement by interpretation” approach, recently introduced by the authors in more specific contexts. As a second, yet related contribution a basis is provided to build up a refinement calculus of structured specifications in and across arbitrary π-institutions. | por |
dc.description.sponsorship | Fundação para a Ciência e a Tecnologia (FCT) | por |
dc.language.iso | eng | por |
dc.publisher | Open Publishing Association | por |
dc.relation | info:eu-repo/grantAgreement/FCT/5876-PPCDTI/108302/PT | - |
dc.rights | openAccess | por |
dc.subject | Refinement | por |
dc.subject | Theory of institutions | por |
dc.title | Refinement by interpretation in φ-institutions | por |
dc.type | conferencePaper | - |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | http://dx.doi.org/10.4204/EPTCS.55.4 | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 53 | por |
oaire.citationEndPage | 64 | por |
oaire.citationIssue | 55 | por |
oaire.citationTitle | Electronic Proceedings in Theoretical Computer Science (EPTCS) | por |
oaire.citationVolume | 55 | por |
dc.identifier.doi | 10.4204/EPTCS.55.4 | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | Electronic Proceedings in Theoretical Computer Science (EPTCS) | por |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
OriginalRMMB11-Refine11.pdf | 195,58 kB | Adobe PDF | Ver/Abrir |