Operator identification in ADA
Harald Ganzinger, Knut Ripken · ACM SIGPLAN Notices · 1980
2o Formal Investigation of the Operator Identification Problem o The Formal BasisAn expression is a formula that defines the computation of a value.These values are consumed in constructs, such as assignments, procedure calls, rangeconstraints, etc., which do not produce a value, themselves.An expression e consists of an operator name ON and n~o operand expressions e l, ..., en, i.e.