Journal Article ABSTRACTION AND VERIFICATION IN ALPHARD - DEFINING AND SPECIFYING ITERATION AND GENERATORS 1977 • Communications of the ACM • 20(8):553-564 SHAW M, WULF WA, LONDON RL
Journal Article Abstraction and verification in Alphard: Defining and specifying iteration and generators 1977 • ACM Sigplan Notices • 12(3):139 Shaw M, Wulf WA, London RL
Journal Article Selection of good algorithms from a family of algorithms for polynomial derivative evaluation 1977 • Information Processing Letters • 6(5):141-145 Shaw M, Traub JF
Journal Article ABSTRACTION AND VERIFICATION IN ALPHARD: DESIGN AND VERIFICATION OF A TREE HANDLER. 1976 86-94 Shaw M
Journal Article An Introduction to the Construction and Verification of Alphard Programs 1976 • IEEE Transactions on Software Engineering • SE-2(4):253-265 Wulf WA, London RL, Shaw M
Conference Research directions in abstract data structures 1976 • Proceedings / ACM-SIGMOD International Conference on Management of Data. ACM-Sigmod International Conference on Management of Data • 66-68 Shaw M
Journal Article Research directions in abstract data structures 1976 • SIGMOD Record • 8(2):66-68 Shaw M
Journal Article Research directions in abstract data structures 1976 • ACM Sigplan Notices • 11(SI):66-68 Shaw M
Journal Article On the Number of Multiplications for the Evaluation of a Polynomial and Some of Its Derivatives 1974 • Journal of the ACM • 21(1):161-167 Shaw M, Traub JF
Journal Article Reduction of compilation costs through language contraction 1974 • Communications of the ACM • 17(5):245-250 Shaw M
Journal Article Global variable considered harmful 1973 • ACM Sigplan Notices • 8(2):28-34 Wulf W, Shaw M
Conference On the number of multiplications for the evaluation of a polynomial and all its derivatives 1972 • 9th Annual Symposium on Switching and Automata Theory (swat 1968) • 105-107 Shaw M, Traub JF
Journal Article Wilson Campus School of Mankato State College 1967 • NASSP Bulletin • 51(316):31-32 Shaw MG
