Two languages for estimating program efficiency
From MaRDI portal
Publication:4766011
DOI10.1145/355616.361015zbMath0279.68014OpenAlexW1991865448MaRDI 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
Symbolic computation and algebraic computation (68W30) General topics in the theory of software (68N01)
Related Items (4)
Efficient integration over polytopes ⋮ Denotational semantics as a foundation for cost recurrence extraction for functional languages ⋮ On the implementation of Strassen's fast multiplication algorithm ⋮ \(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis
This page was built for publication: Two languages for estimating program efficiency
