Karel Culík

Learn More
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.
D U N C A N A. B U E L L , D A V I D A. C A R L S O N , Y U A N C H I E H CHOW, K A R E L C U L I K , N A R S I N G H DEO, R A P H A E L F I N K E L , E L I A S N. HOUSTIS , E L A I N E M. J A C O B S O N , Z V I M. K E D E M , J A N U S Z S. K O W A L I K , P H I L I P J. K U E K E S , J O A N N E L. M A R T I N . G E O R G E A. M I C H A E L (CHAIR) , N E(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)
An answer: One of the reasons may be the fact that in last years much more frequently formal (formalized) proofs of correctness are studied from pure logical point of view, based on Hoare's proof rules and notation [Hoar69] (e.g., a tutorial [Haki76], or [OwGr76], or a textbook [Bakk80], or [ApFR80], etc.), rather than informal (usual mathematical) proo[s(More)