Incremental -calculus in cache-transfer style. Static memoization by program transformation

DOI10.1007/978-3-030-17184-1_20MaRDI QIDQ6070797zbMATH OpenFDO

Authors Paolo G. Giarrusso, Yann Régis-Gianas, Philipp Schuster

Publication date 24 November 2023

Published in Programming Languages and Systems (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-17184-1_20

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Systematic derivation of incremental programs
• Efficiency by incrmentalization: An introduction
• Fixing incremental computation. Derivatives of fixpoints, and the recursive semantics of Datalog
• Differential logical relations. II: Increments and derivatives
• Dynamic programming via static incrementalization

Cited in

(1)

• Analytical differential calculus with integration

This page was built for publication: Incremental \(\lambda \)-calculus in cache-transfer style. Static memoization by program transformation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6070797)