标签: formal-semantics
我知道formal semantics的字面定义,并且知道some difference between formal semantics and informal ones。但我发现在编程中没有普遍使用形式语义。虽然我可以想象一些小的用途,比如在单元测试中使用前置条件和后置条件,但这不是那么有用。然后,我很困惑如何在编程中很好地使用形式语义的知识。