Blog entries from Helmut Brandl (Page 1 of 2)

• 2012 Jun 04 by Helmut BrandlBlog about static verification of software
  Tags:
  • static verification
  • correctness proofs
• 2011 Aug 03 by Helmut BrandlType safe Eiffel (4, chapters "Generic constraints based on conformance" and "Validation with local analysis" included)
  Tags:
  • catcall
  • type safety
• 2011 Jul 19 by Helmut BrandlType safe Eiffel (4, chapters "Backward compatibility" and "Promiscuous generic conformance" included)
  Tags:
  • catcall
  • type safety
• 2011 Jul 12 by Helmut BrandlType safe Eiffel (3, chapter "Covariance" included)
  Tags:
  • catcall
  • type safety
• 2011 Jul 06 by Helmut BrandlType safe Eiffel (2, chapter "Feature rich ANY" included)
  Tags:
  • catcall
  • type safety
• 2011 Jul 04 by Helmut BrandlType safe Eiffel (1)
  Tags:
  • catcall
  • type safety
• 2010 Oct 26 by Helmut BrandlOutput arguments
  Tags:
  • feature
  • command query separation
• 2010 Oct 25 by Helmut BrandlType safe Eiffel
  Tags:
  • eiffel
  • catcall
  • type safety