Lambda the Ultimate Weblog Topics
Last Updated 06/16/2009

Posts By: lucio

  Date    Post    Topic  
04/24/2007Elaboration of why analysis is hard.Why is there not a PL with a mathematical type system?
06/21/2006StatestepRules for Developing Safety-Critical Code
06/21/2006MISRA CRules for Developing Safety-Critical Code
05/04/2006And visualization comes with thatWhat do you believe about Programming Languages (that you can't prove (yet))?

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

Chris Rathman/