Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/15251
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Martins, Manuel A. | - |
dc.contributor.author | Madeira, A. | - |
dc.contributor.author | Barbosa, L. S. | - |
dc.date.accessioned | 2011-12-15T15:28:39Z | - |
dc.date.available | 2011-12-15T15:28:39Z | - |
dc.date.issued | 2011 | - |
dc.identifier.uri | https://hdl.handle.net/1822/15251 | - |
dc.description.abstract | A large number of computational processes can suitably be described as a combination of construction, i.e. algebraic, and observation, i.e. coalgebraic, structures. This paper suggests dialgebras as a generic model in which such structures can be combined and proposes a small calculus of dialgebras including a wrapping combinator and se- quential composition. To take good care of invariants in software design, the paper also discusses how dialgebras can be typed by predicates and proves that invariants are preserved through composition. This lays the foundations for a full calculus of invariant proof-obligation discharge for dialgebraic models. | por |
dc.description.sponsorship | Fundação para a Ciência e a Tecnologia (FCT) | por |
dc.language.iso | eng | por |
dc.publisher | St. Kliment Ohridski University Press | por |
dc.relation | info:eu-repo/grantAgreement/FCT/5876-PPCDTI/108302/PT | - |
dc.rights | openAccess | por |
dc.subject | Dialgebra | por |
dc.subject | Software models | por |
dc.title | Models as arrows: the role of dialgebras | por |
dc.type | conferencePaper | - |
dc.peerreviewed | yes | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 1 | por |
oaire.citationEndPage | 10 | por |
oaire.citationTitle | Proc. of Computability in Europe 2011 "Models of Computation in Context" | por |
sdum.conferencePublication | Proc. of Computability in Europe 2011 "Models of Computation in Context" | por |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
OriginalCie2011.pdf | 480,34 kB | Adobe PDF | Ver/Abrir |