Blog entries from Helmut Brandl (Page 2 of 2)

• 2010 Oct 05 by Helmut BrandlVision for a modern Eiffel
  Tags:
  • eiffel
  • language design
  • type safety
  • static verification
• 2010 Jul 20 by Helmut BrandlAnother Eiffelwish: A cluster concept with restricted visibility (to avoid name clashes).
  Tags:
  • cluster
  • eiffel
  • class name clash
  • namespace
• 2010 Jul 07 by Helmut BrandlProofs for Eiffel SW
• 2010 Mar 16 by Helmut Brandlcatcall -- a solution
  Tags:
  • eiffel
  • catcall
  • type safety
• 2010 Mar 02 by Helmut BrandlFormal Generics in ROUTINE, PROCEDURE, FUNCTION and PREDICATE
  Tags:
  • eiffel
  • Ecma