Sciweavers

CORR
2007
Springer

Projection semantics for rigid loops

13 years 3 months ago
Projection semantics for rigid loops
A rigid loop is a for-loop with a counter not accessible to the loop body or any other part of a program. Special instructions for rigid loops are introduced on top of the syntax of the program algebra PGA. Two different semantic projections are provided and proven equivalent. One of these is taken to have definitional status on the basis of two criteria: ‘normative semantic adequacy’ and ‘indicative algorithmic adequacy’. Key words: Program algebra, For-loop, Projection semantics.
Jan A. Bergstra, Alban Ponse
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2007
Where CORR
Authors Jan A. Bergstra, Alban Ponse
Comments (0)