The November/December issue of acmqueue is out now
Subscribers and ACM Professional members login here
The origin web server does not have a valid SSL certificate.
Please try again in a few minutes.
The SSL certificate presented by the server did not pass validation. This could indicate an expired SSL certificate or a certificate that does not include the requested domain name. Please contact your hosting provider to ensure that an up-to-date and valid SSL certificate issued by a Certificate Authority is configured for this domain name on the origin server. Additional troubleshooting information here.
Originally published in Queue vol. 12, no. 4—
see this item in the ACM Digital Library
David Chisnall - C Is Not a Low-level Language
Your computer is not a fast PDP-11.
Tobias Lauinger, Abdelberi Chaabane, Christo Wilson - Thou Shalt Not Depend on Me
A look at JavaScript libraries in the wild
Robert C. Seacord - Uninitialized Reads
Understanding the proposed revisions to the C language
Carlos Baquero, Nuno Preguiça - Why Logical Clocks are Easy
Sometimes all you need is the right language.
(newest first)
Very nice and understandable article. it would be interesting to know what you think dependent types/Agda bring to the plate.