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  7612 reads

Browse archivesActive forum topics 
Recent comments
7 hours 48 min ago
10 hours 56 min ago
11 hours 51 min ago
13 hours 21 min ago
13 hours 34 min ago
13 hours 43 min ago
13 hours 45 min ago
15 hours 1 min ago
15 hours 3 min ago
15 hours 10 min ago