User loginNavigation |
Metrics or formailizations of "local reasoning"?Often in modularity discussions the concept of "local reasoning" is discussed, and it's always assumed we want to make it easier, as a tactic for in turn making it easier for programmers to keep programs in their head. 'Local' to me implies that we have some notion of distance, and I'm curious what work if any has been done on measuring that distance. I've seen lots of claims about X or Y language feature reducing the ability to engage in local reasoning, but no attempts at quantification, without which I don't understand how the languages can be properly compared. Papers, links to prior discussions, etc. appreciated. By dataangel at 2009-12-30 22:58 | LtU Forum | previous forum topic | next forum topic | other blogs | 3803 reads
|
Browse archives
Active forum topics |
Recent comments
13 weeks 12 hours ago
13 weeks 16 hours ago
13 weeks 16 hours ago
35 weeks 1 day ago
39 weeks 3 days ago
41 weeks 1 day ago
41 weeks 1 day ago
43 weeks 5 days ago
48 weeks 3 days ago
48 weeks 3 days ago