Mary Shaw

MaRDI QIDQ1248371zbMATH OpenORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 2033428 (Why is no real title available?)	2004-01-27	Paper
scientific article; zbMATH DE number 977452 (Why is no real title available?)	1997-02-12	Paper
scientific article; zbMATH DE number 3752177 (Why is no real title available?)	1981-01-01	Paper
A comparison of programming languages for software engineering Software: Practice and Experience	1981-01-01	Paper
scientific article; zbMATH DE number 3742592 (Why is no real title available?)	1981-01-01	Paper
An Alphard Specification of a Correct and Efficient Transformation on Data Structures IEEE Transactions on Software Engineering	1980-01-01	Paper
Selection of good algorithms from a family of algorithms for polynomial derivative evaluation Information Processing Letters	1977-01-01	Paper
Abstraction and verification in Alphard Communications of the ACM	1977-01-01	Paper
An Introduction to the Construction and Verification of Alphard Programs IEEE Transactions on Software Engineering	1976-01-01	Paper
On the Number of Multiplications for the Evaluation of a Polynomial and Some of Its Derivatives Journal of the ACM	1974-01-01	Paper

Research outcomes over time

This page was built for person: Mary Shaw