Mary Shaw

Available identifiers

zbMath Open shaw.maryWikidataQ14241 ScholiaQ14241MaRDI QIDQ1248371

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4444599	2004-01-27	Paper
https://portal.mardi4nfdi.de/entity/Q4331846	1997-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q3936159	1981-01-01	Paper
A comparison of programming languages for software engineering	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3928220	1981-01-01	Paper
An Alphard Specification of a Correct and Efficient Transformation on Data Structures	1980-01-01	Paper
Selection of good algorithms from a family of algorithms for polynomial derivative evaluation	1977-01-01	Paper
Abstraction and verification in Alphard	1977-01-01	Paper
An Introduction to the Construction and Verification of Alphard Programs	1976-01-01	Paper
On the Number of Multiplications for the Evaluation of a Polynomial and Some of Its Derivatives	1974-01-01	Paper

Research outcomes over time

This page was built for person: Mary Shaw