From what I understand current flight control systems are still written in relatively low level languages like C++, with extremely careful memory management strategies.