Two languages for estimating program efficiency
From MaRDI portal
Publication:4766011
DOI10.1145/355616.361015zbMath0279.68014MaRDI QIDQ4766011
Publication date: 1974
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/355616.361015
68W30: Symbolic computation and algebraic computation
68N01: General topics in the theory of software
Related Items
Denotational semantics as a foundation for cost recurrence extraction for functional languages, \(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis, Efficient integration over polytopes, On the implementation of Strassen's fast multiplication algorithm