Common use of In Sect Clause in Contracts

In Sect. 6.2, we discuss extensions of Angluin’s MAT framework with new types of queries. A learner may for instance ask which previous values and operations have been used by the SUL to compute some output value. Or she may ask if some previous input value may subsequently be tested or output by the SUL. Such queries may dramatically simplify the task for the learner, but can often be simply answered by the teacher using off-the-shelf code analysis tools. An example would be a query about which registers are needed in a specific state or location.

In Sect. 6.2, we discuss extensions of Angluin’s MAT framework with new types of queries. A learner may for instance ask which previous values and operations have been used by the SUL to compute some output value. Or she may ask if some previous input value may subsequently be tested or output by the SUL. Such queries may dramatically simplify the task for the learner, but can often be simply answered by the teacher using off-theoff-the-shelf code analysis tools. An example would be a query about which registers are needed in a specific specific state or location.