- Full text PDF available (3)
A new aperiodic tile set containing only 13 tiles over 5 colors is presented. Its construction is based on a technique recently developed by J. Kari. The tilings simulate behavior of sequential machines that multiply real numbers in balanced representations by real constants.
The problem: How to convince programmers and computer science students that the proving of correctness of their programs is a way of program verification, which is feasible to anybody who has some experience with systematic thinking and reasoning (represented by some mathematical or engineering training)? The question: Why even good programmers and good… (More)
Program execution is not adequately reflected in usual syntactic programming language definition by formal grammar, although either actual or mental execution is referred to during reading (tracing) and correctness proving. An advanced programming languages definition associates in input/output variables, the domain, and the computable function with each… (More)