西西河

主题:【原创】也来说说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

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河