Sciweavers

MPC
1989
Springer
62views Mathematics» more  MPC 1989»
14 years 2 months ago
Constructing a Calculus of Programs
Lambert G. L. T. Meertens
MPC
1989
Springer
76views Mathematics» more  MPC 1989»
14 years 2 months ago
The Projection of Systolic Programs
A scheme is presented which transforms systolic programs with a two-dimensionalstructure to one dimension. The elementary steps of the transformation are justified by theorems in ...
Christian Lengauer, Jeff W. Sanders