程序設計語言

晰，易學易用。

形式化。發展合適的形式體係，以描述語言的語法、語義、語用。