Projection semantics for rigid loops

Details Projection semantics for rigid loops Projection semantics for rigid loops

2007-07-06

arxiv.org/abs/0707.1059v1

Computer Science

Programming Languages

20 pages

Scientific paper

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'.

Affiliated with

Also associated with

No associations

Rating

Projection semantics for rigid loops does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Projection semantics for rigid loops, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Projection semantics for rigid loops will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-702231