These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
这些贡献

程语言和数据类
的公理化,
验
,
规约与分析。
声明:以上例句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。
However, Austin soon discovered that these conditions only apply to some cases.
为

事
。它们不能应用于传统的真值判断方法。因此,他对
为

事
作了区分。(1) 定义
为
是用来做事的,既不陈述事实,也不描述情况,且不能验证其真假;
事
要么用于陈述,要么用于验证,可以验证其真假。(2) 合适条件虽然
为
没有真假,但
满足一定条件才是合适的。我们把奥斯汀的合适条件简化如下:①
有一个相应的规约程序,并且相关的参与者与环境是合适的。②该程序

确全面地得到执行。③有关人
有相关的思想、感情
意图,而且
有相关的后续行为。但是奥斯汀很快就认识到,这些条件只适用于部分情况。
Though no one died or was even injured-and the accident led to new protocols and training under which the plant's second, intact reactor operated uneventfully until 2019-the accident hardened the public and environmentalists against nuclear energy.
尽管没有人死亡,甚至没有人受伤——而且这次事故还催生了新的规约与培训,在此之下,核电站第二座完好无损的反应堆直到2019年都安然无恙地运行着——但这次事故使公众
环保人士更加反对核能。