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影響因子(影響力)學(xué)科排名




書目名稱Unifying Theories of Programming網(wǎng)絡(luò)公開度




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




書目名稱Unifying Theories of Programming被引頻次




書目名稱Unifying Theories of Programming被引頻次學(xué)科排名




書目名稱Unifying Theories of Programming年度引用




書目名稱Unifying Theories of Programming年度引用學(xué)科排名




書目名稱Unifying Theories of Programming讀者反饋




書目名稱Unifying Theories of Programming讀者反饋學(xué)科排名

placebo-effect

gerrymander

PARA

嚴(yán)重傷害

指令

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

和平