E-LIB Suche - Ergebnisse für: Duncan, Arthur G.

1

Reusable Ada libraries supporting infinite data structures:

, In: Proceedings of the 1998 annual ACM SIGAda international conference on Ada,

Duncan, Arthur G. - p. 89-103 , 1998

Link: https://dl.acm.org/doi/1..

2

Reusable Ada libraries supporting infinite data structures:

Duncan, Arthur G.
ACM SIGAda Ada Letters. XVIII (1998) 6 - p. 89-103 , 1998

Link: https://doi.org/10.1145/..

3

Conversion to Ada and Ada 95 : a software re-engineering..:

, In: Tutorial proceedings on TRI-Ada '91: Ada's role in global markets: solutions for a changing complex world,

Duncan, Arthur G. - p. 121-171 , 1995

Link: https://dl.acm.org/doi/1..

4

Implementing internal program representations with Ada and ..:

, In: Proceedings of the conference on TRI-Ada '94,

Duncan, Arthur G. - p. 154-163 , 1994

Link: https://dl.acm.org/doi/1..

5

CLINICAL, SEROLOGIC AND IMMUNOGENETIC STUDIES IN PATIENTS W..:

Duncan, Arthur G. ; Richardson, Jeffrey B. ; Woodcock, Thomas M...
Southern Medical Journal. 83 (1990) Supplement - p. 2S-14 , 1990

Link: https://doi.org/10.1097/..

6

Communication system design using ADA:

, In: Proceedings of the 7th international conference on Software engineering,

Duncan, Arthur G. ; Hutchison, John S. ; Bailey, John W.... - p. 398-407 , 1984

Link: https://dl.acm.org/doi/1..

7

Prototyping in ADA : a case study:

, In: Proceedings of the workshop on Rapid prototyping,

Duncan, Arthur G. - p. 54-60 , 1982

Link: https://dl.acm.org/doi/1..

8

Data structures and program correctness: Bridging the gap:

Yelowitz, Lawrence ; Duncan, Arthur G.
Computer Languages. 3 (1978) 2 - p. 135-142 , 1978

Link: https://doi.org/10.1016/..

9

Abstractions, instantiations, and proofs of marking algorit..:

Yelowitz, Lawrence ; Duncan, Arthur G.
ACM SIGPLAN Notices. 12 (1977) 8 - p. 13-21 , 1977

Link: https://doi.org/10.1145/..

10

Abstractions, instantiations, and proofs of marking algorit..:

Yelowitz, Lawrence ; Duncan, Arthur G.
ACM SIGART Bulletin. , 1977

Link: https://doi.org/10.1145/..

11

Abstractions, instantiations, and proofs of marking algorit..:

, In: Proceedings of the 1977 symposium on Artificial intelligence and programming languages,

Yelowitz, Lawrence ; Duncan, Arthur G. - p. 13-21 , 1977

Link: https://dl.acm.org/doi/1..

12

Loop unravelling: a practical tool in proving program corre..:

Duncan, Arthur G. ; Yelowitz, Lawrence
Information Processing Letters. 4 (1975) 3 - p. 70-72 , 1975

Link: https://doi.org/10.1016/..

13

VOLUME XLVIII, ART. 2. PAGES 31–218SEPTEMBER 27, 1946ANTIBI..:

Duemling, Werner W. ; Duncan, Garfield G. ; Feldman, William H....
Annals of the New York Academy of Sciences. 1213 (2010) 1 - p. 106-106 , 2010

Link: https://doi.org/10.1111/..

14

Same data, different conclusions: Radical dispersion in emp..:

Schweinsberg, M ; Feldman, M ; Staub, N...
http://hdl.handle.net/20.500.11937/84806. , 2021

Link: https://hdl.handle.net/2..

15

Machine learning driven prediction of cerebrospinal fluid r..:

CRANIAL Consortium ; Adrito Das ; Danyal Z. Khan...
https://www.frontiersin.org/articles/10.3389/fonc.2023.1046519/full. , 2023

Link: https://doi.org/10.3389/..