BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Duncan:Arthur_G=

Contributed to:

SIGAda 19981998
TRI-Ada 19951995
TRI-Ada 19941994
ICALP 19791979

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.