A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit <a rel="external noopener" href="https://core.ac.uk/download/pdf/82626766.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
<i title="Elsevier BV">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/anq6kvwvqbegtipq5vfhvonzqq" style="color: black;">The Journal of Logic and Algebraic Programming</a>
Program algebra is a novel algebraic framework for sequential programming. It is intended to contribute to a better understanding of sequential programming. The work on program algebra was initiated by Bergstra. This special issue aims to give a concise overview of the work done on program algebra so far. Starting from simple algebraic foundations, an original and systematic analysis of a number of basic and more advanced programming language constructs has been carried out in a precise, but<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1567-8326(02)00017-6">doi:10.1016/s1567-8326(02)00017-6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2tqwrd2sore6pelrodjxbabbsu">fatcat:2tqwrd2sore6pelrodjxbabbsu</a> </span>
more »... erately formal way. In addition, a systematic and detailed analysis of how the behaviour of a program and a state machine can interact has been carried out. An interesting extension of the framework with primitives for object-based programming, based on a novel model of computation, is studied as well. In the first paper, Bergstra and Loots introduce the basic program algebra PGA (Pro-Gram Algebra). The terms of PGA denote single pass instruction sequences. The behaviour represented by single pass instruction sequences is described in terms of the constants and operators of the simple process algebra BPPA (Basic Polarized Process Algebra). The terms of PGA can be regarded as programs in a very simple basic programming language called PGLA. It is demonstrated how a number of more advanced programming languages can be understood by mappings to PGLA, called program algebra projections, in a stepby-step fashion. In the second paper, Ponse extends program algebra PGA with a unit instruction operator which wraps a PGA program into a unit of length one. This extension is useful to introduce composed tests. The extended version is called PGA u . Both a projection of PGA u into PGA that maps a program one instruction at a time from left to right and a projection that maps a program as a whole are defined. The third paper complements the first paper in an interesting way. Bergstra and Ponse investigate how a state machine may affect the behaviour of a program and how the behaviour of a program may transform a state machine into another one. The particular programming language used, called PGLE, originates from the first paper. Operators corresponding to the two above-mentioned ways in which the behaviour of a program and a state machine may interact are introduced. It is demonstrated that there are PGLE programs using state machines for which PGLE programs not using state machines are disappointingly long or impossible. *
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190312234119/https://core.ac.uk/download/pdf/82626766.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/41/d3/41d39fbe350b8a42facc18ac9349cf2fd9976002.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s1567-8326(02)00017-6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>