Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/15586
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Mu, Shin-Cheng | - |
dc.contributor.author | Oliveira, José Nuno Fonseca | - |
dc.date.accessioned | 2011-12-21T11:51:55Z | - |
dc.date.available | 2011-12-21T11:51:55Z | - |
dc.date.issued | 2011 | - |
dc.identifier.citation | 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. | - |
dc.identifier.isbn | 978-3-642-21069-3 | - |
dc.identifier.issn | 0302-9743 | por |
dc.identifier.uri | https://hdl.handle.net/1822/15586 | - |
dc.description.abstract | 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. | por |
dc.description.sponsorship | Mondrian Project funded by the Portuguese NSF under contract PTDC/EIA-CCO/108302/2008 | por |
dc.language.iso | eng | por |
dc.publisher | Springer | por |
dc.relation | info:eu-repo/grantAgreement/FCT/5876-PPCDTI/108302/PT | - |
dc.rights | openAccess | por |
dc.subject | Algebra of programming | por |
dc.subject | Program calculation | por |
dc.title | Programming from Galois connections | por |
dc.type | conferencePaper | - |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | http://www.springerlink.com/content/f85w810064662334/ | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 294 | por |
oaire.citationEndPage | 313 | por |
oaire.citationTitle | Lecture Notes in Computer Science | por |
oaire.citationVolume | 6663 | por |
dc.identifier.doi | 10.1007/978-3-642-21070-9_22 | - |
dc.identifier.eisbn | 978-3-642-21070-9 | - |
dc.subject.wos | Science & Technology | por |
sdum.journal | Lecture Notes in Computer Science | por |
sdum.conferencePublication | RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE | por |
sdum.bookTitle | Lecture Notes in Computer Science | por |
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 |