如何在编程中使用形式语义?

时间:2012-04-06 07:32:51

标签: formal-semantics

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

0 个答案:

没有答案