Abstract | ||
---|---|---|
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. |
Year | Venue | Keywords |
---|---|---|
2008 | Clinical Orthopaedics and Related Research | process algebra,programming language,discrete time |
Field | DocType | Volume |
Programming language,Observable,Unary operation,Computer science,Algorithm,Thread (computing),Theoretical computer science,Operator (computer programming),Discrete time and continuous time,Jump,Process calculus,Unobservable | Journal | abs/0809.4 |
Citations | PageRank | References |
2 | 0.46 | 3 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jan A. Bergstra | 1 | 1946 | 240.42 |
Mark B. van der Zwaag | 2 | 112 | 7.05 |