Lambda the Ultimate Weblog Topics
Last Updated 08/02/2008

Posts By: Tim Leonard

  Date    Post    Topic  
02/27/2008Did you look at HOL-Light, Isabelle, or ACL2?Pure, Declarative, and Constructive Arithmetic Relations
10/08/2007Check out reFLect, Bluespec, Lava, Esterel, Hawk, Ruby, ...It's Time to Stop Calling Circuits "Hardware"
12/11/2006Use BMC for bounded checking like thisMechanized Metatheory Model-Checking

LtU Topic Index Sorted by Date LtU Topic Index Sorted by Topic LtU Index of Post Authors Zipped LtU Archive

Chris Rathman/