Publications by Mary Shaw
Journal Article
Language design for the Ironman requirement: notes and examples
Journal Article
Language design for the Ironman requirement: reference manual
Journal Article
Journal Article
ABSTRACTION AND VERIFICATION IN ALPHARD - DEFINING AND SPECIFYING ITERATION AND GENERATORS
Journal Article
Abstraction and verification in Alphard: Defining and specifying iteration and generators
Journal Article
Selection of good algorithms from a family of algorithms for polynomial derivative evaluation
Journal Article
Journal Article
Journal Article
On the Number of Multiplications for the Evaluation of a Polynomial and Some of Its Derivatives
Journal Article
Journal Article
Journal Article
Conference
On the number of multiplications for the evaluation of a polynomial and all its derivatives