244
click to vote
MPC
15 years 9 months ago
2010 Springer 
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
228
click to vote
MPC
16 years 7 days ago
2010 Springer 
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
182
click to vote
MPC
16 years 7 days ago
2010 Springer 
Abstract. Folds and unfolds are at the heart of the algebra of programming. They allow the cognoscenti to derive and manipulate programs rigorously and effectively. Fundamental la...
210
click to vote
MPC
15 years 11 months ago
2010 Springer
cting programs and point-free abstraction [2]. In order to automatically generate the fast running code there was the need to use matrix product as the basic matrix composition ope...
140
Voted
MPC
16 years 7 days ago
2010 Springer  |
Mathematics