ML Anthology

From Specifications to Programs: Induction in the Service of Synthesis (Abstract)

Nachum Dershowitz
ALT 1994 pp. 6-7
doi:10.1007/3-540-58520-6_48 /alt/1994/dershowitz1994alt-specifications/
PDF ALT Semantic Scholar

Cite

Text

Dershowitz. "From Specifications to Programs: Induction in the Service of Synthesis (Abstract)." International Conference on Algorithmic Learning Theory, 1994. doi:10.1007/3-540-58520-6_48

Markdown

[Dershowitz. "From Specifications to Programs: Induction in the Service of Synthesis (Abstract)." International Conference on Algorithmic Learning Theory, 1994.](https://mlanthology.org/alt/1994/dershowitz1994alt-specifications/) doi:10.1007/3-540-58520-6_48

BibTeX

@inproceedings{dershowitz1994alt-specifications,
  title     = {{From Specifications to Programs: Induction in the Service of Synthesis (Abstract)}},
  author    = {Dershowitz, Nachum},
  booktitle = {International Conference on Algorithmic Learning Theory},
  year      = {1994},
  pages     = {6-7},
  doi       = {10.1007/3-540-58520-6_48},
  url       = {https://mlanthology.org/alt/1994/dershowitz1994alt-specifications/}
}