User loginNavigation 
The Theory and Calculus of AliasingI have done some work recently on the theory of aliasing, which I believe provides the key to the frame problem and more generally to proving OO programs (although these applications remain to be better explained and explored further). I was struck by the simplicity and generality of the laws uncovered in the process. A blog entry at bertrandmeyer.com presents the basics. It includes a link to the draft paper, and also to a downloadable version of the implementation (currently a Windows executable, the source will be released later), which makes it possible to test all the examples of the paper.  Bertrand Meyer By Bertrand_Meyer at 20100121 02:08  LtU Forum  previous forum topic  next forum topic  other blogs  7784 reads

Browse archivesActive forum topics 
Recent comments
4 hours 19 min ago
4 hours 27 min ago
10 hours 18 min ago
10 hours 36 min ago
10 hours 38 min ago
11 hours 20 min ago
11 hours 22 min ago
11 hours 36 min ago
14 hours 26 min ago
17 hours 57 min ago