Tagged 'semantics'

C is not Turing-complete

Date
Tags c, programming, semantics
Target Audience C programmers & language lawyers.
Epistemic Status Based on my interpretation of the C11 spec.
Attention Conservation Notice Because of how pointers are defined in the C standard, an isolated C program is equivalent in computational power to a pushdown automata.

Concurrency and Typeclass Laws

Date
Tags dejafu, haskell, programming, semantics
Target Audience Haskell programmers.
Attention Conservation Notice By calling dejafu from within a property test, we can check laws of classes which do concurrency.