http://a-shen.livejournal.com/ ([identity profile] a-shen.livejournal.com) wrote in [personal profile] vak 2016-09-09 12:01 am (UTC)

и он был разработан при прямом участии Хоара. Правда, не сказать, чтобы семантика была объяснена так уж внятно (в книжке Хоара или описании Оккама)...
(36 comments)

Post a comment in response:

This account has disabled anonymous posting.
If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting

If you are unable to use this captcha for any reason, please contact us by email at support@dreamwidth.org

 
Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.