Djinnlang: Higher-Level Programming by Unambiguous Specification with an LLM in the Compiler
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 argue that an unambiguity constraint is key: in addition to proving that its implementation satisfies the specif...
Simon Henniger, Stephen Chong, Nada Amin
· 0 citations