ML Anthology

The Deductive Synthesis of Imperative LISP Programs

Zohar Manna, Richard J. Waldinger
AAAI 1987 pp. 155-160
/aaai/1987/manna1987aaai-deductive/
PDF AAAI Semantic Scholar

Cite

Text

Manna and Waldinger. "The Deductive Synthesis of Imperative LISP Programs." AAAI Conference on Artificial Intelligence, 1987.

Markdown

[Manna and Waldinger. "The Deductive Synthesis of Imperative LISP Programs." AAAI Conference on Artificial Intelligence, 1987.](https://mlanthology.org/aaai/1987/manna1987aaai-deductive/)

BibTeX

@inproceedings{manna1987aaai-deductive,
  title     = {{The Deductive Synthesis of Imperative LISP Programs}},
  author    = {Manna, Zohar and Waldinger, Richard J.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1987},
  pages     = {155-160},
  url       = {https://mlanthology.org/aaai/1987/manna1987aaai-deductive/}
}