I'm designing a new web scripting language that's going to
take over the world. How can I specify it so that
different people implementing compilers will know how it
is supposed to behave?
I'm writing a compiler and I'd like to add this
optimization, but I'm not convinced it's always
correct. How can I be sure?
I want to write a program analysis tool that examines
PHP-based websites and checks for possible command
injection attacks. How can I know I haven't missed any?
