3 ms·

Denotational Semantics is the basic tool of software design. Meaning, model the whole thing in math, then you know whether the implementation matches the desig

by shae 2y ago

Denotational Semantics is the basic tool of software design. Meaning, model the whole thing in math, then you know whether the implementation matches the design.