Offline specialisation in Prolog using a hand-written compiler generator

Keyphrases

• Prolog 100%
• Special Programs 100%
• Logic Programming 100%
• Deduction 100%
• Compiler Generators 100%
• Timing Annotation 50%
• Program Specialization 50%
• Functional Languages 50%
• Off-line System 50%
• Binding Times 50%
• Imperative Languages 50%
• Non-expert Users 50%
• Binding-time Analysis 50%
• Pure Logic 50%
• Fully Automated 50%
• Deduction Method 50%
• Partial Evaluation 50%
• Nondeclarative 50%

Computer Science

• Annotation 100%
• Compiler Generator 100%
• Logic Programming 50%
• Functional Languages 25%
• Partial Evaluation 25%
• Imperative Language 25%

INIS

• prolog 100%