Here’s a program that exhibits the low level nature of C by changing the return address of a function. The function “one” always returns the
Read more
Process algebra and automata theory
Milner’s Communication and Concurrency contrasts a notion of “bisimulation” with what he characterizes as the view in standard automata theory. Standard automata theory, however, has
Read more
Lecture notes on Paxos
PAXOS – (c) Victor Yodaiken, 2022 These are the lecture notes, or see the paper below 1. Really clever distributed consensus algorithm by Leslie Lamport
Read more
Threads in C
There is a nice example thread semantics in a paper by David Goldblatt (P1916R0) which illustrates a couple of things about multi-core processing – including
Read more
Open Source, Free Music Downloading, and Intellectual Property
“A day is coming, when, in the eye of the law, literary property will be as sacred as whisky, or any other of the necessaries
Read more
Memory model and semantics for C
A perceptive note from Linus Torvalds about the C/C++ “memory model” is reproduced below. From Linus Torvalds <> Date Thu, 7 Jun 2018 08:40:49 -0700
Read more
unfashionable C
In computer science academia, C along with UNIX, and PDP11s, is as unfashionable as can be: the equivalent of other 1970’s relics, like polyester leisure
Read moreUndefined behavior in C is a reading error.
Considering how important “undefined behavior” has become to C semantics and the ISO/IEC JTC1/SC22/WG14 Committee, the lack of any reference to it in the K&R
Read more
ISO C is not a serious programming language
The C Standards process over the last few decades has addressed both optimization and pointer type safety largely through a concept called “undefined behavior”. The
Read more