4 ms·
No, the premise is that programming is the act of writing precise specifications, which is easier in a precise language. Similarly to mathematical proofs.
by sfn42 1y ago
No, the premise is that programming is the act of writing precise specifications, which is easier in a precise language. Similarly to mathematical proofs.