Blog entries (Page 24 of 50)

• 2010 Oct 05 by Helmut BrandlVision for a modern Eiffel
  Tags:
  • eiffel
  • language design
  • type safety
  • static verification
• 2010 Sep 13 by Colin LeMahieuOutput and by-reference parameters
  Tags:
  • example
  • Article
  • Intermediate
  • Eiffel byref output byval
• 2010 Aug 15 by David Le BansaisAutomorphism
  Tags:
  • eiffel
  • conversion
• 2010 Aug 13 by Rouan van Dalen"down-casting" in Eiffel
  Tags:
  • generics
• 2010 Jul 28 by David Le BansaisMy three Eiffelwishes, part 3: readable types
  Tags:
  • language design
  • readable
  • types
• 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 Jul 01 by Eser AygünBALIGN - A multi-functional batch sequence alignment tool
  Tags:
  • batch
  • global alignment
  • kashyap
  • local alignment
  • needleman
  • oommen
  • sequence alignment
  • sequence analysis
  • smith
  • waterman
  • wunsch