Sciweavers

83
Voted
JAPLL
2007
78views more  JAPLL 2007»
15 years 4 days ago
Execution architectures for program algebra
We investigate the notion of an execution architecture in the setting of the program algebra PGA, and distinguish two sorts of these: analytic architectures, designed for the purp...
Jan A. Bergstra, Alban Ponse