4 ms·
Is that the idea that since the code should neither invent new values, nor duplicate values, it will always end up returning a permutation? It seems like inven
by Robin_Message 12y ago
Is that the idea that since the code should neither invent new values, nor duplicate values, it will always end up returning a permutation?
It seems like inventing values not being possible is fine, but duplicating a value seems very plausible - what safe subset of Java would ensure that doesn't happen?
- lmm 12y agoMaybe http://types.cs.washington.edu/checker-framework/current/checker-framework-manual.html#linear-checker http://types.cs.washington.edu/checker-framework/current/che... ? (I've used other parts of the checkers framework, but not that one yet)