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

Browse archivesActive forum topics
New forum topics

Recent comments
4 hours 34 min ago
7 hours 18 min ago
15 hours 21 min ago
16 hours 48 sec ago
18 hours 3 min ago
20 hours 2 min ago
21 hours 22 min ago
21 hours 26 min ago
1 day 50 min ago
1 day 54 min ago