手或脚 发表于 2025-3-21 17:22:03

书目名称Mathematical Foundation of Programming Semantics影响因子(影响力)<br>        http://impactfactor.cn/if/?ISSN=BK0626160<br><br>        <br><br>书目名称Mathematical Foundation of Programming Semantics影响因子(影响力)学科排名<br>        http://impactfactor.cn/ifr/?ISSN=BK0626160<br><br>        <br><br>书目名称Mathematical Foundation of Programming Semantics网络公开度<br>        http://impactfactor.cn/at/?ISSN=BK0626160<br><br>        <br><br>书目名称Mathematical Foundation of Programming Semantics网络公开度学科排名<br>        http://impactfactor.cn/atr/?ISSN=BK0626160<br><br>        <br><br>书目名称Mathematical Foundation of Programming Semantics被引频次<br>        http://impactfactor.cn/tc/?ISSN=BK0626160<br><br>        <br><br>书目名称Mathematical Foundation of Programming Semantics被引频次学科排名<br>        http://impactfactor.cn/tcr/?ISSN=BK0626160<br><br>        <br><br>书目名称Mathematical Foundation of Programming Semantics年度引用<br>        http://impactfactor.cn/ii/?ISSN=BK0626160<br><br>        <br><br>书目名称Mathematical Foundation of Programming Semantics年度引用学科排名<br>        http://impactfactor.cn/iir/?ISSN=BK0626160<br><br>        <br><br>书目名称Mathematical Foundation of Programming Semantics读者反馈<br>        http://impactfactor.cn/5y/?ISSN=BK0626160<br><br>        <br><br>书目名称Mathematical Foundation of Programming Semantics读者反馈学科排名<br>        http://impactfactor.cn/5yr/?ISSN=BK0626160<br><br>        <br><br>

hazard 发表于 2025-3-21 23:50:56

Free constructions of powerdomains,e information about nondeterministic behavior. By putting the available information in an algebraic framework, the algebraic properties can supplement the usual order-theoretic properties in program proofs.

转换 发表于 2025-3-22 04:01:17

http://reply.papertrans.cn/63/6262/626160/626160_3.png

都相信我的话 发表于 2025-3-22 05:30:51

http://reply.papertrans.cn/63/6262/626160/626160_4.png

GRIPE 发表于 2025-3-22 09:47:13

http://reply.papertrans.cn/63/6262/626160/626160_5.png

飓风 发表于 2025-3-22 15:19:09

http://reply.papertrans.cn/63/6262/626160/626160_6.png

Infraction 发表于 2025-3-22 18:29:39

Comparing categories of domains,of programming semantics. Five general conditions are presented which such a category should satisfy and they are used to motivate a number of examples. An attempt is made to survey some of the methods whereby these examples may be compared and their relationships expressed. We also ask a few mathematical questions about the examples.

拥护者 发表于 2025-3-22 21:19:29

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/626160.jpg

抚育 发表于 2025-3-23 05:02:44

https://doi.org/10.1007/3-540-16816-8Finite; algebra; geometry; process algebra; programming; programming semantics; proof; semantics

fidelity 发表于 2025-3-23 07:44:33

http://reply.papertrans.cn/63/6262/626160/626160_10.png
页: [1] 2 3 4 5 6 7
查看完整版本: Titlebook: Mathematical Foundation of Programming Semantics; International Confer Austin Melton Conference proceedings 1986 Springer-Verlag Berlin Hei