Efficiency by incrmentalization: An introduction

DOI10.1023/A:1026547031739zbMath0972.68020OpenAlexW1518141528MaRDI QIDQ1595470

Yanhong A. Liu

Publication date: 6 November 2001

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1026547031739

zbMATH Keywords

incrementalization

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (2)

Iterate, Incrementalize, and Implement: A Systematic Approach to Efficiency Improvement and Guarantees ⋮ Derivation of efficient logic programs by specialization and reduction of nondeterminism

This page was built for publication: Efficiency by incrmentalization: An introduction