joaoff

6 ms·

1. 1.▲
   by joaoff 13y ago

   Dynamically allocated memory is difficult to verify automatically. There are some tools based on separation logic (e.g. Smallfoot, HIP/SLEEK, jStar) that are able to verify C programs (or C-like programs). Current developments in this
2. 2.▲
   by joaoff 14y ago

   Excellent work, guys! As an amateur sax player, I can see myself using your app to produce some funky beats on-the-fly. I wish you all the best and I hope I can buy your app in the near future. :)
3. 3.▲
   Turing-Tape Competition: test your problem-solving and programming abilities(algorithmicproblemsolving.org)

   1 points by joaoff 14y ago|0 comments