Arthur G. Duncan

11 papers A* 3Journal 1Unranked 7
YearRankTypeTitle / Venue / Authors
1998 — conf
Reusable Ada Libraries Supporting Infinite Data Structures.
SIGAda
Arthur G. Duncan
1995 — conf
Conversion to Ada and Ada 95: A Software Re-engineering Approach.
TRI-Ada Tutorials
Arthur G. Duncan
1994 — conf
Implementing Internal Program Representations with Ada and Ada 9X.
TRI-Ada
Arthur G. Duncan
1984 A* conf
Communication System Design Using Ada.
ICSE
Arthur G. Duncan, John S. Hutchison, John W. Bailey, T. M. Chapman, A. Fregly, Elizabeth Kruesi, T. McDonald, D. Merrill, Sylvia B. Sheppard
1982 — conf
Prototyping in ADA: a case study.
Rapid Prototyping
Arthur G. Duncan
1982 — conf
Using Ada for industrial embedded microprocessor applications, II.
AdaTEC Conference on Ada
Arthur G. Duncan, John S. Hutchison
1981 A* conf
Using Attributed Grammars to Test Designs and Implementations.
ICSE
Arthur G. Duncan, John S. Hutchison
1980 — conf
Using Ada for industrial embedded microprocessor applications.
SIGPLAN
Arthur G. Duncan, John S. Hutchison
1979 A* conf
Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness.
ICALP
Arthur G. Duncan, Lawrence Yelowitz
1977 — conf
Abstractions, instantiations, and proofs of marking algorithms.
Artificial Intelligence and Programming Languages
Lawrence Yelowitz, Arthur G. Duncan
1975 J jnl
Loop Unravelling: A Practical Tool in Proving Program Correctness.
Inf. Process. Lett.
Arthur G. Duncan, Lawrence Yelowitz