INFERENCE RULES FOR PROGRAM ANNOTATION.

Keyphrases

• Inference Rules 100%
• Program Annotation 100%
• Debugging 50%
• Control Structure 50%
• Experimental Implementation 50%
• Program Variables 50%
• Invariant Relationships 50%
• Algol 50%
• Annotation Techniques 50%

Computer Science

• Annotation 100%
• Inference Rule 100%
• Invariant 100%
• Program Variable 50%
• Assignment Statement 50%
• Control Structure 50%