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...

Celý popis

Podrobná bibliografie

Vydáno v:	Science of computer programming Ročník 217; s. 102792
Hlavní autoři:	Ceresa, Martín A., Jaskelioff, Mauro J.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 01.05.2022
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!