Compatibility Matrix

The following compatibility issues persist for the development theory:

Table 12: Compatibility Matrix for the Development Theory

Nr

Description

System

1

Has leash predicate.

DEC10

2

Has operator definition for spy and nospy.

DEC10

3

Has maxdepth predicate.

DEC10

4

Has prompt/2 und version/1 predicate.

DEC10

5

Does not define a default debugger.

ISO

6

Does not define customizable debuggers.

ISO

7

Does not define an intermediate form.

ISO

Comments