ML Anthology

Some Rules for the Automatic Synthesis of Programs

C. Cordell Green, David R. Barstow
IJCAI 1975 pp. 232-239
/ijcai/1975/green1975ijcai-some/
PDF IJCAI Semantic Scholar

Cite

Text

Green and Barstow. "Some Rules for the Automatic Synthesis of Programs." International Joint Conference on Artificial Intelligence, 1975.

Markdown

[Green and Barstow. "Some Rules for the Automatic Synthesis of Programs." International Joint Conference on Artificial Intelligence, 1975.](https://mlanthology.org/ijcai/1975/green1975ijcai-some/)

BibTeX

@inproceedings{green1975ijcai-some,
  title     = {{Some Rules for the Automatic Synthesis of Programs}},
  author    = {Green, C. Cordell and Barstow, David R.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1975},
  pages     = {232-239},
  url       = {https://mlanthology.org/ijcai/1975/green1975ijcai-some/}
}