Threaded C is a meta-language that is based on C, but is annotated with thread, monitor thread, and semaphore markup. Threaded C uses the runtime provided by the Freezer OS, a small, memory-efficient embedded kernel. The combination of Freezer OS and Threaded C allows the simple expression of common control problems in robotics. The system is geared especially towards robotics education, as it matches the mental map that children have of how control structures should work.
Communications in Computer and Information Science 212, pp.170-177