Knowledge-based verification of concatenative programming patterns inspired by natural language for resource-constrained embedded devices