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á bibliografia

Vydané v:	Science of computer programming Ročník 217; s. 102792
Hlavní autori:	Ceresa, Martín A., Jaskelioff, Mauro J.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 01.05.2022
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!