Michael J. O’Donnell

Pattern Matching in Trees

Christoph M. Hoffmann, Michael J. O’Donnell · Journal of the ACM · 1982 · 440 citations · Full text

Computing, Computer Science, Information Retrieval +7

Programming with Equations

Christoph M. Hoffmann, Michael J. O’Donnell · ACM Transactions on Programming Languages and Systems · 1982 · 172 citations · Full text

Computing, Computer Science, Compilers +4

Exact real arithmetic: a case study in higher order programming

Hans‐J. Boehm, Robert Cartwright, Mark Riggle et al. · 1986 · 88 citations

Computing, Computer Science, Mathematics +6

The urgency of transforming the Midwestern U.S. landscape into more than corn and soybean

Linda S. Prokopy, Benjamin M. Gramig, Alisha Bower et al. · Agriculture and Human Values · 2020 · 60 citations · Full text

Agriculture, Agronomy, Crop Sciences +12

A critique of the foundations of Hoare style programming logics

Michael J. O’Donnell · Communications of the ACM · 1982 · 39 citations · Full text

Computing, Computer Science, Formal Methods +13