アセンブラみたいな具体的さが本質なのか、抽象が本質なのか、誰にも決められん。

最近流行ってるのは抽象による形式手法だけど、C言語ベースでの形式手法も研究されてるし。