An Exercise in Program Explanation

DOI10.1145/357121.357128zbMATH Open0454.68004OpenAlexW2088811798MaRDI QIDQ3902458

Jayadev Misra

Publication date: 1981

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

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

zbMATH Keywords

primesalgorithmssieveproofs of programs

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Empirical verification of a generalization of Goldbach's conjecture

This page was built for publication: An Exercise in Program Explanation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3902458)