• DOI:10.1109/AFIPS.1978.66
Corpus ID: 38475763

DEDALUS - The DEDuctive ALgorithm Ur-Synthesizer

@inproceedings{Manna1978DEDALUST,
  title={DEDALUS - The DEDuctive ALgorithm Ur-Synthesizer},
  author={Z. Manna and R. Waldinger},
  booktitle={AFIPS National Computer Conference},
  year={1978}
}

Z. Manna, R. Waldinger

Published in

AFIPS National Computer…

1978

Computer Science

Program synthesis is the automatic construction of programs to meet given specifications. These specifications constitute a high-level description of the desired program which expresses the purpose of the program, without indicating the method by which that purpose is to be achieved. The specifications are expressed in terms of many constructs which are endemic to the particular subject domain of the desired program (e.g., numbers, sets, lists). Because these constructs are only intended to… CONTINUE READING

View via Publisher

computer.org

Save to Library

Create Alert

Cite

Launch Research Feed