Djinnlang: Higher-Level Programming by Unambiguous Specification with an LLM in the Compiler.

arXiv:2609.23954v1 Announce Type: cross Abstract: Programmers write formal specifications, and LLMs implement them, proving that each implementation matches its spec. Taken to its extreme, this makes specification languages the new programming languages. We ar