The correction of errors in programs can be based on an analysis, that subordinates syntactic relationships to functional relationships among elements of a program. For this purpose, case grammars, originally developed ...

To many persons, computer-assisted instruction (CAI) connotes automated programmed instruction (PI). This exemplifies the authorcontrolled mode of CAI, in which PI, suitably generalized, is mediated by the computer. This ...