主题：【原创】也来说说Linux和Windows下的开发感受 -- 昔杨今雨
- 共: 💬 203 🌺 502
WIKI上有很多资料，虽然不尽正确，但是末尾都有很多reference。就开个头吧
The hierarchy:
Formal semantics of programing language
- denotational semantics <--> domain theory
- operational semantics <--> Lambda calculus
- axiomatic semantics <--> Hoare logic
- 相关回复 上下关系8
🙂你又说错了 1 风北客 字352 2008-04-10 04:45:44
🙂是 2 金口玉言 字643 2008-04-10 12:24:25
🙂呵呵， 在我看来貌似你举的例子都不充分 2 风北客 字547 2008-04-10 18:44:06
🙂才疏学浅，不敢丢人现眼
🙂工具而已。 6 荆棘探兴 字598 2008-04-01 01:16:49
🙂说得好，花 1 jack 字0 2008-04-01 01:22:59
🙂我感觉IDE在开发小规模程序的时候还是很好用的 3 karmin 字373 2008-03-31 23:31:48
🙂时代不同了，程序员也早就细分了。 29 风北客 字1722 2008-03-28 18:50:43