D. Wonnacott
发表
W. Pugh,
D. Wonnacott,
1994
.
William Pugh,
David G. Wonnacott,
W. Pugh,
1993,
LCPC.
William Pugh,
David G. Wonnacott,
W. Pugh,
1992,
PLDI '92.
D. Wonnacott,
V. Graffagnino,
S. Schaeidt,
1995
.
D. Wonnacott,
Haverford,
H. College,
2012
.
David Wonnacott,
D. Wonnacott,
2014
.
William Pugh,
David Wonnacott,
W. Pugh,
1994
.
John D. McCalpin,
David G. Wonnacott,
D. Wonnacott,
1999
.
D. Wonnacott,
Peter-Michael Osera,
2019
.
William Pugh,
Tatiana Shpeisman,
Vadim Maslov,
1995
.
D. Wonnacott,
D. Koester,
M. Barstow,
1994
.
D. James,
D. Wonnacott,
G. Bromage,
1995
.
D. Wonnacott,
M. Hawkins,
S. Hodgkin,
1995
.
D. Wonnacott,
B. Smalley,
B. Kellett,
1994
.
Chen Fu,
Barbara G. Ryder,
Ana Milanova,
2004,
ISSTA '04.
Alan A. Wells,
Keith O. Mason,
Mark R. Sims,
1993
.
D. Wonnacott,
B. Smalley,
B. Kellett,
1997
.
Ian Burnette,
Tim Douglas,
Micah John Walter,
2011
.
David G. Wonnacott,
D. Wonnacott,
2002,
International Journal of Parallel Programming.
David G. Wonnacott,
D. Wonnacott,
2000,
Proceedings 14th International Parallel and Distributed Processing Symposium. IPDPS 2000.
David G. Wonnacott,
D. Wonnacott,
1999,
LCPC.
D. Wonnacott,
F. Bruhweiler,
E. Marilli,
1993
.
Xavier Barcons,
M. J. Page,
Keith O. Mason,
2000
.
Sanjay V. Rajopadhye,
Yun Zou,
Tian Jin,
2016,
ArXiv.
Chen Fu,
Barbara G. Ryder,
Ana Milanova,
2005,
IEEE Transactions on Software Engineering.
R. McMahon,
G. Hasinger,
D. Wonnacott,
1999,
astro-ph/9905188.
William Pugh,
David G. Wonnacott,
W. Pugh,
1994,
PPCP.
William Pugh,
David G. Wonnacott,
W. Pugh,
1998,
TOPL.
William Pugh,
David G. Wonnacott,
W. Pugh,
1994,
TOPL.
Patrice Quinton,
Tomofumi Yuki,
Sanjay V. Rajopadhye,
2011,
IWOMP.
David G. Wonnacott,
D. Wonnacott,
2001,
COOTS.
David G. Wonnacott,
D. Wonnacott,
2007
.
A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code Proofs in Discrete Math
pdf
Peter-Michael Osera,
David G. Wonnacott,
D. Wonnacott,
2019,
ArXiv.
Robert Seater,
David G. Wonnacott,
D. Wonnacott,
2002,
LCPC.
William Pugh,
David G. Wonnacott,
W. Pugh,
1995,
IEEE Trans. Parallel Distributed Syst..
G. Shipman,
D. Wonnacott,
S. Poole,
2011,
Encyclopedia of Parallel Computing.