Journal Article Language Design for the Ironman Requirement: Reference Manual 1978 • ACM Sigplan Notices • 13(9):36-58 Shaw M, Hilfinger P, Wulf WA
Journal Article Validating the utility of abstraction techniques 1978 • Proceedings of the 1978 Annual Conference, ACM 1978 • 106-110 Shaw M, Feldman G, Fitzgerald R, Hilfinger P, Kimura I, London RL, Rosenberg J, Wulf WA
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, Shaw M, London RL
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 • 13th Annual Symposium on Switching and Automata Theory, SWAT 1972 • 105-107 Shaw M, Traub JF
Journal Article Wilson Campus School of Mankato State College 1967 • NASSP Bulletin • 51(316):31-32 Shaw MG