|
|
Пишет superhuman (![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small} superhuman)@ 2026-03-24 23:59:00 |
 |
|
 |
|
|
|
|
|
|
 |
|
 |
Programming language semantics: It’s easy as 1,2,3
denotational semantics corresponds to ‘folding over syntax trees’
operational semantics corresponds to ‘unfolding to transition trees’
semantics in terms of recursion operators ... duality
denotational semantics corresponds to ‘folding over syntax trees’
operational semantics corresponds to ‘unfolding to transition trees’
semantics in terms of recursion operators ... duality
