Mostrar el registro sencillo del ítem

dc.contributor.author
Ceresa, Martin Arnaldo  
dc.contributor.author
Jaskelioff, Mauro Javier  
dc.date.available
2023-08-28T18:11:38Z  
dc.date.issued
2022-05  
dc.identifier.citation
Ceresa, Martin Arnaldo; Jaskelioff, Mauro Javier; Effectful improvement theory; Elsevier Science; Science of Computer Programming; 217; 5-2022; 1-31  
dc.identifier.issn
0167-6423  
dc.identifier.uri
http://hdl.handle.net/11336/209628  
dc.description.abstract
Optimizing programs is hard. Not only one must preserve semantics, but one also needs to ensure that an optimization truly makes the program better. The first part, preserving program semantics, has been, and still is, the subject of much research. We follow a line of work that starts with Morris' observational equivalence, continues with Abramsky's applicative bisimilarity and Howe's method, and concludes in a recent abstract formalization of applicative bisimilarity in the presence of algebraic effects by Dal Lago, Gavazzo and Levy. The second part, ensuring that an optimization truly makes the program better, is a path less traveled, with the improvement theory of Sands being the most prominent example. In this work, we connect these two parts by obtaining an abstract theory of improvements based on effectful applicative bisimilarity that extends Sands' notion of improvement to effectful languages.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Elsevier Science  
dc.rights
info:eu-repo/semantics/restrictedAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
ALGEBRAIC EFFECT  
dc.subject
FUNCTIONAL PROGRAMMING OPTIMIZATION  
dc.subject
IMPROVEMENT THEORY  
dc.subject
RELATIONAL COST ANALYSIS  
dc.subject.classification
Ciencias de la Computación  
dc.subject.classification
Ciencias de la Computación e Información  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
Effectful improvement theory  
dc.type
info:eu-repo/semantics/article  
dc.type
info:ar-repo/semantics/artículo  
dc.type
info:eu-repo/semantics/publishedVersion  
dc.date.updated
2023-07-04T15:57:07Z  
dc.journal.volume
217  
dc.journal.pagination
1-31  
dc.journal.pais
Países Bajos  
dc.journal.ciudad
Amsterdam  
dc.description.fil
Fil: Ceresa, Martin Arnaldo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas. Universidad Nacional de Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas; Argentina  
dc.description.fil
Fil: Jaskelioff, Mauro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas. Universidad Nacional de Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas; Argentina  
dc.journal.title
Science of Computer Programming  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://www.sciencedirect.com/science/article/pii/S0167642322000259  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/https://doi.org/10.1016/j.scico.2022.102792