Tags: Programming Language.
In the design of programming languages an erroneous program is one whose semantics are not well-defined but where the language implementation is not obligated to signal an error either at compile or at execution time. For example in Ada:In addition to bounded errors the language rules define certain kinds of errors as leading to erroneous execution. Like bounded errors the implementation need not detect such errors either prior to or during run time.