Three ways formally verified code can go wrong in practice
"Correct" doesn't mean "correct" when correctly using "correct"
New Logic for Programmers Release!
v0.12 is now available! This should be the...
Similar Articles (10 found)
🔍 60.5% similar
If you’ve more than a couple of years of experience in IT, you probably have stumbled upon the following quote:
There are only two hard things in comp...
🔍 57.6% similar
May 2003
(This essay is derived from a guest lecture at Harvard, which incorporated
an earlier talk at Northeastern.)
When I finished grad school in c...
🔍 57.3% similar
People often assume that code is knowledge. They want "self explanatory" or "well documented code". Companies and managers often treat developers as i...
🔍 56.6% similar
May 2001
(These are some notes I made
for a panel discussion on programming language design
at MIT on May 10, 2001.)
1. Programming Languages Are for ...
🔍 56.1% similar
January 2003
(This article is derived from a keynote talk at the fall 2002 meeting
of NEPLS.)
Visitors to this country are often surprised to find tha...
🔍 55.3% similar
May 2002
"The quantity of meaning compressed into a small space by
algebraic signs, is another circumstance that facilitates
the reasonings we are acc...
🔍 55.0% similar
August 2007
A good programmer working intensively on his own code can hold it
in his mind the way a mathematician holds a problem he's working
on. Mat...
🔍 54.8% similar
April 2003
(This essay is derived from a keynote talk at PyCon 2003.)
It's hard to predict what
life will be like in a hundred years. There are only a...
🔍 54.8% similar
May 2002
"We were after the C++ programmers. We managed to drag a
lot of them about halfway to Lisp."
- Guy Steele, co-author of the Java spec
|
|
In ...
🔍 54.6% similar
May 2001
(This article was written as a kind of business plan for a
new language.
So it is missing (because it takes for granted) the most important
f...