<div dir="ltr">So what if we could translate a programming language to a specification language, like one of:   <a href="https://en.wikipedia.org/wiki/Specification_language">Specification language - Wikipedia</a>, not unlike how we convert programs to UML or SysML?<div><br></div><div>Would this mean translating a language compiler to a specification?</div><div><br></div><div>If a compiler is a program, does that mean we would be translating an arbitrary program to a specification?</div><div><br></div><div>Can we use a compiler to translate a program to a specification, or an IR to a specification?</div><div><br></div><div>Do we want to do that?</div><div><br></div><div>Feel free to forward for feedback.</div><div><br></div><div>Caveat:  I'm only familiar with UML and a bit of SysML.  I've read a tiny bit of <a href="https://en.wikipedia.org/wiki/Z_notation">Z notation - Wikipedia</a>.  As I've mentioned before, this was standardized by ISO in 2002.  I think I have a different approach, which is targeting Z notation for a compiler, instead of starting with Z notation.</div><div><br></div><div>I'm guessing we would get a huge blob of uninteresting stuff.</div><div><br></div><div>John Carlson</div></div>