Definitions
Sorry, no definitions found. Check out and contribute to the discussion of this word!
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word unsubverted.
Examples
-
I always think with social justice — gender justice, racial & ethnic justice, so forth — that the reality of the ways that these things are constructed and reinforce themselves through us all means that we all share in the personal cost to allowing them to remain unsubverted.
-
Next, as dwheeler also notes in his paper, it may be hard to obtain another unsubverted compiler.
LXer Linux News Jonathan Corbet 2010
-
If I understood the idea correctly, you don't need any unsubverted compiler, just a completely different implementation (eg. to verify GCC you might use PCC, for example).
LXer Linux News Jonathan Corbet 2010
-
Right, i.e. unsubverted oracle = {set of compilers where at least one compiler is not subverted}, where 'subverted compiler' here means 'subverted consistently with the others'.
LXer Linux News Jonathan Corbet 2010
-
Which means that if you start out with only one binary compiler, gcc, then you are out of luck, since you won't be able to get an unsubverted compiler.
LXer Linux News Jonathan Corbet 2010
-
Which means that if you start out with only one binary compiler, gcc, then you are out of luck, since you won't be able to get an unsubverted compiler.
LXer Linux News 2010
-
Next, as dwheeler also notes in his paper, it may be hard to obtain another unsubverted compiler.
LXer Linux News 2010
-
If I understood the idea correctly, you don't need any unsubverted compiler, just a completely different implementation (eg. to verify GCC you might use PCC, for example).
LXer Linux News 2010
-
Right, i.e. unsubverted oracle = {set of compilers where at least one compiler is not subverted}, where 'subverted compiler' here means 'subverted consistently with the others'.
LXer Linux News 2010
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.