Computer-assisted microanalysis of programs

DOI10.1145/358656.358674zbMath0491.68036OpenAlexW2082912235WikidataQ129398447 ScholiaQ129398447MaRDI QIDQ3953163

Jacques Cohen

Publication date: 1982

Published in: Communications of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/358656.358674

zbMATH Keywords

analysis of algorithmsfinite-difference equationssymbolic manipulationprogram correctnesssymbolic executionsummationstime-formulastime-variables

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Specification and verification (program logics, model checking, etc.) (68Q60) Algorithms in computer science (68W99)

Related Items (6)

Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study ⋮ A mathematical model to estimate average response time of parallel programs ⋮ Automatic average-case analysis of algorithms ⋮ Dense polynomial multiplication with reduced array manipulation overhead ⋮ An information technology for efficiency analysis of recursive algorithms using standard complexity recurrences ⋮ A note on a fast algorithm for sparse matrix multiplication

This page was built for publication: Computer-assisted microanalysis of programs