Synthetic programming

DOI10.1016/0004-3702(85)90076-1zbMath0557.68014MaRDI QIDQ761788

Nachum Dershowitz

Publication date: 1985

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(85)90076-1

zbMATH Keywords

formal specification; structured programming; invariant assertions; iterative loops; subgoal assertions; synthetic programming

Mathematics Subject Classification ID

68N01: General topics in the theory of software

Related Items

Logical debugging

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Synthesising recursive functions with side effects
• Completely non-clausal theorem proving
• Reasoning about programs
• Knowledge and reasoning in program synthesis
• A system which automatically improves programs
• Programming by examples
• Mathematical theory of partial correctness
• Synthesis: Dreams → Programs
• Some Techniques for Recursion Removal from Recursive Functions
• Computing with rewrite systems
• Continuation-Based Program Transformation Strategies
• Program Development as a Formal Activity
• Inference Rules for Program Annotation
• Derivation of Logic Programs
• A Deductive Approach to Program Synthesis
• A System for Assisting Program Transformation
• Speeding up the Synthesis of Programs from Traces
• A Methodology for LISP Program Construction from Examples
• A Transformation System for Developing Recursive Programs
• Subgoal induction
• Goal-Directed Program Transformation
• Constructing Programs from Example Computations
• Program Improvement by Source-to-Source Transformation
• The Evolution of Programs: Automatic Program Modification
• An algorithm for reduction of operator strength
• The Inference of Regular LISP Programs from Examples
• Syntactic source to source transforms and program manipulation
• A constructive approach to the problem of program correctness
• An axiomatic basis for computer programming
• Program development by stepwise refinement