correctness Questions

4

Solved

All over our project, we have this kind of enums. They works just fine, but we are not sure about them. Specially with the getDocumentType(String) method. Is there a way to avoid the iteration ...
Reata asked 29/7, 2009 at 12:25

6

Multithread algorithms are notably hard to design/debug/prove. Dekker's algorithm is a prime example of how hard it can be to design a correct synchronized algorithm. Tanenbaum's Modern operating s...
Obeah asked 16/9, 2008 at 16:44

© 2022 - 2024 — McMap. All rights reserved.