0 to remove bugs (= mistakes) from a computer program: --
to debug a program
1 to look for and remove bugs (= hidden listening or recording devices) from a place: --
Although our previous work on types and debugging provides the intuition for this paper, we do not rely on any particular definition of inadmissibility here.
Since interpreters are typically fairly machine-independent, debugging systems based on them are also portable.
Due to the lack of constraints, the entire stack is necessary for debugging erroneous template instantiations.
In order to be effective, such environments should also have the means to criticize models and simulations, and help learners with debugging them.
According to the authors, debugging and maintenance would then mainly consist in modifying the example set.
Also, debugging will only be possible if compilation is (efficiently) reversible, so that the grammar writer is able to view familiar structures.
The file also contains information about communication restrictions, which is useful for debugging purposes.
In addition, type inference sometimes provides more useful debugging information.