Isn’t what you are describing, a programming language? I‘m not sold on specs being everything you need to implement correctly.