@misc{beurerkellner2022prompting,
  title={Prompting Is Programming: A Query Language For Large Language Models},
  author={Luca Beurer-Kellner and Marc Fischer and Martin Vechev},
  year={2022},
  eprint={2212.06094},
  archivePrefix={arXiv},
  primaryClass={cs.CL},
  url={https://arxiv.org/abs/2212.06094}
}