Travelled to:1 × Austria
3 × USA
Collaborated with:∅ L.Yelowitz
Talks about:ada (5) represent (1) implement (1) algorithm (1) structur (1) approach (1) abstract (1) support (1) softwar (1) reusabl (1)
Person: Arthur G. Duncan
DBLP: Duncan:Arthur_G=
Contributed to:
199819951994
1979Wrote 4 papers:
- SIGAda-1998-Duncan #ada #data type #infinity #library #reuse
- Reusable Ada Libraries Supporting Infinite Data Structures (AGD), pp. 89–103.
- TRI-Ada-1995-Duncan #ada #approach #re-engineering
- Conversion to Ada and Ada 95: A Software Re-engineering Approach (AGD), pp. 121–171.
- TRI-Ada-1994-Duncan #ada #implementation
- Implementing Internal Program Representations with Ada and Ada 9X (AGD), pp. 154–163.
- ICALP-1979-DuncanY #algorithm #correctness #proving
- Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness (AGD, LY), pp. 218–229.