Bertrand Meyer's technology blog
Software and Technology
Sites
Tags
ACM Autological Beethoven Breakthroughs Change CITADEL Ciupa Computer-Aided Design Conferences Contract inference Dahl Daikon Darwin Design by Contract Dijkstra ECMA Eiffel Einstein Ernst Error Galileo Ground-breaking Haiku Hoare Horning Hype IEEE Incremental Invariant ISO Journals Loop invariant Methodology Mozart Null references Proust Recycled Research Skype Style Technology Touch of Class Turing Videophone Void safetyCategories
- Computer science (9)
- Conference (1)
- Design by Contract (5)
- Education (1)
- Eiffel (7)
- Essay (4)
- Formal methods and proofs (1)
- General technology (4)
- Language design (2)
- Limerick (2)
- Numerics (1)
- Policy (3)
- Programming techniques (2)
- Puzzle (3)
- Recycled (1)
- Research evaluation (2)
- Software engineering (14)
- Software process (2)
- Software verification (5)
- Uncategorized (2)
- User interface design (2)
- Writing and style (3)
Recent Comments
- Reflexivity, and other pillars of civilization (7)
- opacus: It is important to separate two questions. The first is whether we agree that, for all x, x = x. Most people...
- dlebansais: (My apologies for the reply spam) There is also an interesting case of violated reflexivity in the Eiffel...
- dlebansais: I forgot to mention that this definition of is_equal for REAL objects is likely to create havoc in the...
- dlebansais: I think there are many topics related to this post and I’ll try to summarize what each of them led...
- Mattias Wikström: I think that regardless of whether you opt for NaN=NaN or NaN/=NaN there is good mathematics to...
- Bernd Schoeller: This article is great and summarizes the problems with 754 very nicely. Math is partial and there...
- barrkel: ISTM that either three-valued logic (i.e. SQL TRUE, FALSE and NULL behaviour) or signalling NaNs are...
- Just another day at the office (2)
- Bertrand Meyer: You are right, I had omitted to mention that point. I updated the relevant part of the article to...
- Ian Warrington: Hi Bertrand, just wondering about your definition of is_equal with respect to command / query...
- More expressive loops for Eiffel (5)
- bmeyer: The `across’ variant is formally defined by an “unfolded form” that uses the `from’...
- Reflexivity, and other pillars of civilization (7)
Archives
- February 2010 (1)
- January 2010 (4)
- December 2009 (1)
- November 2009 (1)
- October 2009 (5)
- September 2009 (1)
- August 2009 (17)
- July 2009 (1)
Get RSS feed
Meta
Eiffel Software
Home page at ETH
Informatics Europe
LASER summer school