Titlebook: Mathematical Foundation of Programming Semantics; International Confer Austin Melton Conference proceedings 1986 Springer-Verlag Berlin Hei

手或腳

書目名稱Mathematical Foundation of Programming Semantics影響因子(影響力)




書目名稱Mathematical Foundation of Programming Semantics影響因子(影響力)學(xué)科排名




書目名稱Mathematical Foundation of Programming Semantics網(wǎng)絡(luò)公開度




書目名稱Mathematical Foundation of Programming Semantics網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Mathematical Foundation of Programming Semantics被引頻次




書目名稱Mathematical Foundation of Programming Semantics被引頻次學(xué)科排名




書目名稱Mathematical Foundation of Programming Semantics年度引用




書目名稱Mathematical Foundation of Programming Semantics年度引用學(xué)科排名




書目名稱Mathematical Foundation of Programming Semantics讀者反饋




書目名稱Mathematical Foundation of Programming Semantics讀者反饋學(xué)科排名

hazard

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.

轉(zhuǎn)換

都相信我的話

GRIPE

颶風(fēng)

Infraction

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.

擁護(hù)者

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

撫育

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

fidelity