By the time the semantic description is sufficiently exact, you may as well have written the code, though. [1]

[1] https://i.pinimg.com/originals/e3/2f/22/e32f2209b4c3d6b32bbc...