User loginNavigation |
splitting the program into formalizable vs. non-formalizable parts?While reading up on OO and Algorithms vs. Interaction, I re-encounter the adage that OO's flexibility is at odds with verification formalisms. It makes me wonder what various, er, formalisms people use to split a program up into those parts which are a non-verifiable 'interaction machine' vs. those parts which are formalizable algorithms, cf. monads used to make sequencing explicit. (I shall be reading more of Wegner's papers. [Edit: and old LtU threads about 'interactive machines'.]) By raould at 2010-04-08 23:46 | LtU Forum | previous forum topic | next forum topic | other blogs | 8754 reads
|
Browse archives
Active forum topics
|
Recent comments
2 weeks 22 hours ago
2 weeks 5 days ago
2 weeks 6 days ago
2 weeks 6 days ago
3 weeks 5 days ago
4 weeks 1 day ago
4 weeks 1 day ago
4 weeks 1 day ago
5 weeks 3 days ago
5 weeks 4 days ago