User loginNavigation |
archivesWhy and How People Use RCompelling lecture by John Cook Specification and implementation of modules in Modern EiffelThe article talks about modules in Modern Eiffel (a variant of Eiffel which allows static verification). The main points are 1. integration of functional and object oriented style 2. physical separation of specification and implementation ad 2: This separation is not only possible for functions and procedures, but also for assertions. I.e. the specification part includes only the assertions. The proofs can reside in the implementation part of a module. By hbrandl at 2012-04-21 16:47 | LtU Forum | login or register to post comments | other blogs | 3864 reads
|
Browse archivesActive forum topics |
Recent comments
6 days 21 hours ago
1 week 48 min ago
1 week 54 min ago
23 weeks 1 day ago
27 weeks 3 days ago
29 weeks 8 hours ago
29 weeks 8 hours ago
31 weeks 5 days ago
36 weeks 2 days ago
36 weeks 2 days ago