Specification and Implementation of a Tree-Abiding Interface for Ada (Extended Abstract).

Martin Hartwig, Eckhard Stein, Roland Strobel

Browse the full CC paper archive.