 | 1998 |
|---|
| 5 |       | Arthur G. Duncan:
Reusable Ada Libraries Supporting Infinite Data Structures.
SIGAda 1998: 89-103 |
| 1995 |
|---|
| 4 | | Arthur G. Duncan:
Conversion to Ada and Ada 95: A Software Re-engineering Approach.
TRI-Ada Tutorials 1995: 121-171 |
| 1994 |
|---|
| 3 | | Arthur G. Duncan:
Implementing Internal Program Representations with Ada and Ada 9X.
TRI-Ada 1994: 154-163 |
| 1979 |
|---|
| 2 | | Arthur G. Duncan,
Lawrence Yelowitz:
Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness.
ICALP 1979: 218-229 |
| 1975 |
|---|
| 1 |  | Arthur G. Duncan,
Lawrence Yelowitz:
Loop Unravelling: A Practical Tool in Proving Program Correctness.
Inf. Process. Lett. 4(3): 70-72 (1975) |
