4 ms·Programming language code is a kind of formal spec.by otabdeveloper4 1y agoProgramming language code is a kind of formal spec.