DEDALUS - The DEDuctive ALgorithm Ur-Synthesizer

  title={DEDALUS - The DEDuctive ALgorithm Ur-Synthesizer},
  author={Z. Manna and R. Waldinger},
  booktitle={AFIPS National Computer Conference},
  • Z. Manna, R. Waldinger
  • Published in
    AFIPS National Computer…
  • 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
    13 Citations
    DESCARTES: an automatic programming system for algorithmically simple programs
    • 3
    How to reconcile formal specifications and automatic programming: the Descartes system
    • 3
    Program Transformation Systems
    • 387
    EP-2, A prototype Exemplary Programming system
    • 2
    Program Concept Recognition and Transformation
    • 146


    On automating the construction of programs.
    • 21
    Generating Conditional Plans and Programs
    • 164
    Guarded commands, nondeterminacy and formal derivation of programs
    • 1,930
    • PDF
    Automatic Programming Through Natural Language Dialogue: A Survey
    • 82
    A QLISP Reference Manual, Technical Report, SRI International
    • A Discipline of Programming,
    • 1976
    A Computer Model of Skill Acquisition
    • 497
    The Synthesis of Programs from Their Properties, and the Insane Heuristic,
    • Proceedings of the Third Texas Conference on Computing Systems,
    • 1974