Mechanistic Behavior of Single-Pass Instruction Sequences

Simple item page
dc.creatorBergstra, Jan A.
dc.creatorvan der Zwaag, Mark B.
dc.date2008-09-26
dc.date.accessioned2026-07-07T10:05:46Z
dc.date.available2026-07-07T10:05:46Z
dc.descriptionEarlier 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.
dc.description12 pages
dc.identifierhttps://arxiv.org/abs/0809.4635
dc.identifierhttp://arxiv.org/abs/0809.4635
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/170108
dc.subjectProgramming Languages
dc.subjectLogic in Computer Science
dc.subjectD.1.4; F.3.2; F.3.3
dc.titleMechanistic Behavior of Single-Pass Instruction Sequences
dc.typetext

Files

Collections

arXiv