The manual isn't directly consumable by formal processes. The compiler design do...

		sheepshear on Nov 9, 2023 \| parent \| context \| favorite \| on: Officially Qualified – Ferrocene The manual isn't directly consumable by formal processes. The compiler design doesn't have to be influenced by a specification, but it does have to be described by one.