Arthur G. Duncan

According to our database, Arthur G. Duncan authored at least 11 papers between 1975 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Reusable Ada Libraries Supporting Infinite Data Structures.

Arthur G. Duncan

Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, 1998

1995

Conversion to Ada and Ada 95: A Software Re-engineering Approach.

Arthur G. Duncan

Proceedings of the Tutorial Proceedings on Ada's Role in Global Markets: solutions for a changing complex world, 1995

1994

Implementing Internal Program Representations with Ada and Ada 9X.

Arthur G. Duncan

Proceedings of the 1994 Conference on TRI-Ada 1994, 1994

1984

Communication System Design Using Ada.

Arthur G. Duncan, John S. Hutchison, John W. Bailey, T. M. Chapman, A. Fregly, Elizabeth Kruesi, T. McDonald, D. Merrill, Sylvia B. Sheppard

Proceedings of the Proceedings, 1984

1982

Prototyping in ADA: a case study.

Arthur G. Duncan

Proceedings of the workshop on Rapid Prototyping, 1982

Using Ada for industrial embedded microprocessor applications, II.

Arthur G. Duncan, John S. Hutchison

Proceedings of the AdaTEC Conference on Ada, 1982

1981

Using Attributed Grammars to Test Designs and Implementations.

Arthur G. Duncan, John S. Hutchison

Proceedings of the 5th International Conference on Software Engineering, 1981

1980

Using Ada for industrial embedded microprocessor applications.

Arthur G. Duncan, John S. Hutchison

Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, 1980

1979

Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness.

Arthur G. Duncan, Lawrence Yelowitz

Proceedings of the Automata, 1979

1977

Abstractions, instantiations, and proofs of marking algorithms.

Lawrence Yelowitz, Arthur G. Duncan

Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages, 1977

1975

Loop Unravelling: A Practical Tool in Proving Program Correctness.

Arthur G. Duncan, Lawrence Yelowitz

Inf. Process. Lett., 1975