Effectful improvement theory

•Relational cost theory for effectful functional programming languages.•Cost as an algebraic effect.•Contextual and applicative simulation for relational cost analysis. Optimizing programs is hard. Not only one must preserve semantics, but one also needs to ensure that an optimization truly makes th...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Science of computer programming Jg. 217; S. 102792
Hauptverfasser:	Ceresa, Martín A., Jaskelioff, Mauro J.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 01.05.2022
Schlagworte:	Algebraic effect Functional programming optimization Improvement theory Relational cost analysis Improvement theory Functional programming optimization Algebraic effect Relational cost analysis
ISSN:	0167-6423, 1872-7964
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!