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
A Transformation Approach to Derive Efficient Parallel Implementations
IEEE Transactions on Software Engineering - Special issue on architecture-independent languages and software tools parallel processing
Application of the Polytope Model to Functional Programs
LCPC '99 Proceedings of the 12th International Workshop on Languages and Compilers for Parallel Computing
Cost Hierarchies for Abstract Parallel Machines
LCPC '00 Proceedings of the 13th International Workshop on Languages and Compilers for Parallel Computing-Revised Papers
Parallel Programming by Transformation
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Parallelizing functional programs by generalization
Journal of Functional Programming
Costing stepwise refinements of parallel programs
Computer Languages, Systems and Structures
PolyAPM: parallel programming via stepwise refinement with abstract parallel machines
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
A language-independent parallel refactoring framework
Proceedings of the Fifth Workshop on Refactoring Tools
Hi-index | 0.00 |