Two languages for estimating program efficiency

From MaRDI portal

Revision as of 23:25, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4766011

Jump to:navigation, search

DOI10.1145/355616.361015zbMath0279.68014OpenAlexW1991865448MaRDI QIDQ4766011

Carl Zuckerman, Jacques Cohen

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

Mathematics Subject Classification ID

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4766011&oldid=19047984"