Titlebook: Unifying Theories of Programming; Second International Andrew Butterfield Conference proceedings 2010 Springer-Verlag Berlin Heidelberg 201

Carter

书目名称Unifying Theories of Programming影响因子(影响力)




书目名称Unifying Theories of Programming影响因子(影响力)学科排名




书目名称Unifying Theories of Programming网络公开度




书目名称Unifying Theories of Programming网络公开度学科排名




书目名称Unifying Theories of Programming被引频次




书目名称Unifying Theories of Programming被引频次学科排名




书目名称Unifying Theories of Programming年度引用




书目名称Unifying Theories of Programming年度引用学科排名




书目名称Unifying Theories of Programming读者反馈




书目名称Unifying Theories of Programming读者反馈学科排名

placebo-effect

gerrymander

PARA

严重伤害

指令

Transaction Calculus,ions where a transaction is treated as a mapping from its environment to compensable programs. We propose a transaction refinement calculus, and show that every transaction can be converted to a primitive one which simply consists of a forward activity and a compensation module.

Curmudgeon

UTP and Temporal Logic Model Checking,on relation between the model and its properties. The contribution of this paper is that it shows a UTP perspective to temporal logic model checking. The approach includes the notion of efficiency found in traditional model checkers, which reduced a state explosion problem through the use of efficient data structures

Paraplegia

Unifying Theories of Locations,e useful, present an outline of our UTP model, and compare it to existing work on UTP. We hope to convince the reader that a general model of pointers within the UTP ought to be able to represent both shareable and containable locations.

Fecundity

和平