Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/15586
Título: | Programming from Galois connections |
Autor(es): | Mu, Shin-Cheng Oliveira, José Nuno Fonseca |
Palavras-chave: | Algebra of programming Program calculation |
Data: | 2011 |
Editora: | Springer |
Revista: | Lecture Notes in Computer Science |
Citação: | Mu, S.-C., & Oliveira, J. N. (2011). Programming from Galois Connections. In H. de Swart (Ed.), Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings (pp. 294-313). Berlin, Heidelberg: Springer Berlin Heidelberg. |
Resumo(s): | Problem statements often resort to superlatives such as in eg. “. . . the smallest such number”, “. . . the best approximation”, “. . . the longest such list” which lead to specifications made of two parts: one defining a broad class of solutions (the easy part) and the other requesting the optimal such solution (the hard part). This paper introduces a binary relational combinator which mirrors this linguistic structure and exploits its potential for calculating programs by optimization. This applies in particular to specifications written in the form of Galois connections, in which one of the adjoints delivers the optimal solution being sought. The framework encompasses re-factoring of results previously developed by Bird and de Moor for greedy and dynamic programming, in a way which makes them less technically involved and therefore easier to understand and play with. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/15586 |
ISBN: | 978-3-642-21069-3 |
e-ISBN: | 978-3-642-21070-9 |
DOI: | 10.1007/978-3-642-21070-9_22 |
ISSN: | 0302-9743 |
Versão da editora: | http://www.springerlink.com/content/f85w810064662334/ |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
main copy.pdf | Documento único | 240,85 kB | Adobe PDF | Ver/Abrir |