Toward Formally-Based Design of Message Passing Programs
IEEE Transactions on Software Engineering - Special issue on architecture-independent languages and software tools for parallel processing
Algebra of Program Termination
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Calculating Functional Programs
Revised Lectures from the International Summer School and Workshop on Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Calculating functional programs
Algebraic and coalgebraic methods in the mathematics of program construction
Algebra of program termination
Algebraic and coalgebraic methods in the mathematics of program construction
Foundations of data-parallel skeletons
Patterns and skeletons for parallel and distributed computing
Using Circular Programs to Deforest in Accumulating Parameters
Higher-Order and Symbolic Computation
Metamorphisms: Streaming representation-changers
Science of Computer Programming
Fission for program comprehension
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Hi-index | 0.00 |