Programming methodology
Unifying theories of programming that distinguish nontermination and abort
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
The essence of monotonic state
Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and implementation
Linking Unifying Theories of Program refinement
Science of Computer Programming
Hi-index | 0.00 |