Mechanistic Behavior of Single-Pass Instruction Sequences

Details Mechanistic Behavior of Single-Pass Instruction Sequences Mechanistic Behavior of Single-Pass Instruction Sequences

2008-09-26

arxiv.org/abs/0809.4635v1

Computer Science

Programming Languages

12 pages

Scientific paper

Earlier work on program and thread algebra detailed the functional, observable behavior of programs under execution. In this article we add the modeling of unobservable, mechanistic processing, in particular processing due to jump instructions. We model mechanistic processing preceding some further behavior as a delay of that behavior; we borrow a unary delay operator from discrete time process algebra. We define a mechanistic improvement ordering on threads and observe that some threads do not have an optimal implementation.

Affiliated with

Also associated with

No associations

Rating

Mechanistic Behavior of Single-Pass Instruction Sequences 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 Mechanistic Behavior of Single-Pass Instruction Sequences, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Mechanistic Behavior of Single-Pass Instruction Sequences will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-712920