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

Full description

Saved in:

Bibliographic Details
Published in:	Science of computer programming Vol. 217; p. 102792
Main Authors:	Ceresa, Martín A., Jaskelioff, Mauro J.
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 01.05.2022
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!