... microprocessor semantics 微处理机语义学... program semantics 程序语义学 semantics implementation system 语义学实现系统...
基于26个网页-相关网页
Program Transformation Semantics 程序转换语意学 ; 程序转化语意学
logic program semantics 逻辑程序语义
approximated program semantics 程序近似语义
·2,447,543篇论文数据，部分数据来源于NoteExpress
Programs have appeared as O_expressions(expressions of operations on physical objects) and program semantics are given by axioms on O_expressions.
程序以操作表达式的形式呈现， 而其语义则以公理的形式给出。
youdao
Predicate Calculus and Program Semantics.
谓词演算与程序语义。
应用推荐
模块上移
模块下移
不移动