Software components as invariant-typed arrows

Detalhes bibliográficos
Autor(a) principal: Barbosa, L. S.
Data de Publicação: 2012
Idioma: eng
Título da fonte: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Texto Completo: http://hdl.handle.net/1822/21233
Resumo: Keynote talk at CBSOFT, Natal, September 2012
id RCAP_644b6acc5ea2aec88c01843ff78e4166
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/21233
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling Software components as invariant-typed arrowsInvariantSoftware componentCoalgebraKeynote talk at CBSOFT, Natal, September 2012nvariants are constraints on software components which restrict their behavior in some desirable way, but whose maintenance entails some kind of proof obligation discharge. Such constraints may act not only over the input and output domains, as in a purely functional setting, but also over the underlying state space, as in the case of reactive components. This talk introduces an approach for reasoning about invariants which is both compositional and calculational: compositional because it is based on rules which break the complexity of such proof obligations across the structures involved; calculational because such rules are de- rived thanks to an algebra of invariants encoded in the language of binary relations. A main tool of this approach is the pointfree transform of the predicate calculus, which opens the possibility of changing the underly- ing mathematical space so as to enable agile algebraic calculation. The development of a theory of invariant preservation requires a broad, but uniform view of computational processes embodied in software components able to take into account data persistence and continued interaction. Such is the plan for this talk: we first introduce such processes as arrows, and then invariants as their types.(undefined)Springer VerlagUniversidade do MinhoBarbosa, L. S.2012-092012-09-01T00:00:00Zconference paperinfo:eu-repo/semantics/publishedVersionapplication/pdfhttp://hdl.handle.net/1822/21233engBarbosaCBSOFT1297836423318170302-974310.1007/978-3-642-33182-4_1http://dx.doi.org/10.1007/978-3-642-33182-4_1info:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2024-05-11T05:33:05Zoai:repositorium.sdum.uminho.pt:1822/21233Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T15:22:08.986164Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv Software components as invariant-typed arrows
title Software components as invariant-typed arrows
spellingShingle Software components as invariant-typed arrows
Barbosa, L. S.
Invariant
Software component
Coalgebra
title_short Software components as invariant-typed arrows
title_full Software components as invariant-typed arrows
title_fullStr Software components as invariant-typed arrows
title_full_unstemmed Software components as invariant-typed arrows
title_sort Software components as invariant-typed arrows
author Barbosa, L. S.
author_facet Barbosa, L. S.
author_role author
dc.contributor.none.fl_str_mv Universidade do Minho
dc.contributor.author.fl_str_mv Barbosa, L. S.
dc.subject.por.fl_str_mv Invariant
Software component
Coalgebra
topic Invariant
Software component
Coalgebra
description Keynote talk at CBSOFT, Natal, September 2012
publishDate 2012
dc.date.none.fl_str_mv 2012-09
2012-09-01T00:00:00Z
dc.type.driver.fl_str_mv conference paper
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1822/21233
url http://hdl.handle.net/1822/21233
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv BarbosaCBSOFT12
9783642331817
0302-9743
10.1007/978-3-642-33182-4_1
http://dx.doi.org/10.1007/978-3-642-33182-4_1
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Springer Verlag
publisher.none.fl_str_mv Springer Verlag
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833595271764770816

Registros relacionados