25 citations · 637 across the 113 of their papers we have counts for
4 papers · 1 filter
A Promise Theoretic Account of the Boeing 737 Max MCAS Algorithm Affair
J. A. Bergstra, M. Burgess
Many public controversies involve the assessment of statements about which we have imperfect information. Without a structured approach, it is quite difficult to develop an approac…
Using Hoare logic in a process algebra setting
J. A. Bergstra, C. A. Middelburg
This paper concerns the relation between process algebra and Hoare logic. We investigate the question whether and how a Hoare logic can be used for reasoning about how data change…
Quantitative Expressiveness of Instruction Sequence Classes for Computation on Single Bit Registers
Jan A. Bergstra
The number of instructions of an instruction sequence is taken for its logical SLOC, and is abbreviated with LLOC. A notion of quantitative expressiveness is based on LLOC and in t…
Program algebra for Turing-machine programs
J. A. Bergstra, C. A. Middelburg
This paper presents an algebraic theory of instruction sequences with instructions for Turing tapes as basic instructions, the behaviours produced by the instruction sequences conc…