 | 1997 |
|---|
| 5 |       | Mark R. Hartoog,
James A. Rowson,
Prakash D. Reddy,
Soumya Desai,
Douglas D. Dunlop,
Edwin A. Harcourt,
Neeti Khullar:
Generation of Software Tools from Processor Descriptions for Hardware/Software Codesign.
DAC 1997: 303-306 |
| 1985 |
|---|
| 4 | | Douglas D. Dunlop,
Victor R. Basili:
Generalizing Specifications for Uniformly Implemented Loops.
ACM Trans. Program. Lang. Syst. 7(1): 137-158 (1985) |
| 1984 |
|---|
| 3 |  | Douglas D. Dunlop,
Victor R. Basili:
A Heuristic for Deriving Loop Functions.
IEEE Trans. Software Eng. 10(3): 275-285 (1984) |
| 1983 |
|---|
| 2 | | John C. Knight,
Douglas D. Dunlop:
On the Design of a Special-purpose Scientific Programming Language.
Softw., Pract. Exper. 13(10): 893-907 (1983) |
| 1982 |
|---|
| 1 | | Douglas D. Dunlop,
Victor R. Basili:
A Comparative Analysis of Functional Correctness.
ACM Comput. Surv. 14(2): 229-244 (1982) |
