Arthur G. Duncan

Publication Activity (10 Years)

Years Active: 1975-1998
Publications (10 Years): 0

Publications

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