2 ms·
Programs are implementations of specifications, they're not specifications themselves. Unless you're talking about like Coq or TLA+.
by kiitos 3y ago
Programs are implementations of specifications, they're not specifications themselves. Unless you're talking about like Coq or TLA+.