A Basis for a Theory of Program Synthesis

Subrahmanyam, P. A.

A Basis for a Theory of Program Synthesis

P. A. Subrahmanyam

AAAI 1980 pp. 74-76

/aaai/1980/subrahmanyam1980aaai-basis/

PDF AAAI Semantic Scholar

Cite

Text

Subrahmanyam. "A Basis for a Theory of Program Synthesis." AAAI Conference on Artificial Intelligence, 1980.

Markdown

[Subrahmanyam. "A Basis for a Theory of Program Synthesis." AAAI Conference on Artificial Intelligence, 1980.](https://mlanthology.org/aaai/1980/subrahmanyam1980aaai-basis/)

BibTeX

@inproceedings{subrahmanyam1980aaai-basis,
  title     = {{A Basis for a Theory of Program Synthesis}},
  author    = {Subrahmanyam, P. A.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1980},
  pages     = {74-76},
  url       = {https://mlanthology.org/aaai/1980/subrahmanyam1980aaai-basis/}
}