Douglas D. Dunlop

From MaRDI portal
Person:3321418



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!

PublicationDate of PublicationType
Generalizing specifications for uniformly implemented loops
ACM Transactions on Programming Languages and Systems
1985-01-01Paper
A Heuristic for Deriving Loop Functions
IEEE Transactions on Software Engineering
1984-01-01Paper
On the design of a special-purpose scientific programming language
Software: Practice and Experience
1983-01-01Paper
scientific article; zbMATH DE number 3768952 (Why is no real title available?)1982-01-01Paper


Research outcomes over time


This page was built for person: Douglas D. Dunlop