SmartBugs is a new execution framework that simplifies the execution of automated analysis tools on datasets of Solidity smart …

In 2009, I posted a calculational proof of the handshaking lemma, a well-known elementary result on undirected graphs. I was very …

I am currently in Salamanca (Spain), attending the conference Tools for Teaching Logic III. My talk was on teaching logic through …

Suppose you write a program and you send the source code to two of your friends, ${\cal A}$ and ${\cal B}$. Your two friends read the …

I found the following problem on K. Rustan M. Leino’s puzzles page:
[Carroll Morgan told me this puzzle.]
Prove that for any …

The other day I went to my pigeon-hole to collect my snail mail, and I had a letter from Donald E. Knuth, Professor Emeritus of the Art …

Last November I solved Problem 15 of Project Euler (a counting problem involving paths in square grids), and, although the problem …

© 2006—2020 João F. Ferreira. All opinions are personal and do not necessarily represent the entities I am affiliated with. · Powered by the Academic theme for Hugo.