A model for code generation and debugging assistance.