Operator identification in ADA: formal specification, complexity, and concrete implementation

Harald Ganzinger, Knut Ripken. Operator identification in ADA: formal specification, complexity, and concrete implementation. SIGPLAN Notices, 15(2):30-42, 1980. [doi]

Abstract

Abstract is missing.