形式语义学 编辑
在计算理论中，形式语义学是关注计算的模式和程序设计语言的含义的严格的数学研究的领域。
5
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
操作语义学是计算机科学中的一个概念，它是使得计算机程序在数学上更加严谨的一种手段。其它类似的手段包括提供形式语义学，包括公理语义学和指称语义。
操作语义学是计算机科学中的一个概念，它是使得计算机程序在数学上更加严谨的一种手段。其它类似的手段包括提供形式语义学，包括公理语义学和指称语义。
林惠民，男，福建福州人，中国计算机科学家、计算机软件与理论专家，中国科学院软件研究所研究员，长期从事计算机程序的形式语义学及形式化方法的研究。
Argus是芭芭拉·利斯科夫在麻省理工学院于1982年到1988年之间创立的编程语言，协作者包括Maurice Herlihy、Paul Johnson、Bob Scheifler和William Weihl。它是CLU语言的扩展，利用了大多数的相同语法和形式语义学。Argus被设计用来支持分布式计算，通过封装有关过程在叫做“守护者”的对象之中，和通过支持叫做“行动”的线性一致性。