Synthetic programming

DOI10.1016/0004-3702(85)90076-1MaRDI QIDQ761788zbMATH OpenOpenAlexFDO

Authors 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 specificationinvariant assertionsiterative loopsstructured programmingsubgoal assertionssynthetic programming

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• scientific article; zbMATH DE number 3911678
• Program Development in Computational Logic
• A means for the structural synthesis of programs
• Preface for the SYNT
• scientific article; zbMATH DE number 4084990

Cites work

• A constructive approach to the problem of program correctness
• A Deductive Approach to Program Synthesis
• A Methodology for LISP Program Construction from Examples
• A System for Assisting Program Transformation
• A system which automatically improves programs
• A Transformation System for Developing Recursive Programs
• An algorithm for reduction of operator strength
• An axiomatic basis for computer programming
• Completely non-clausal theorem proving
• Computing with rewrite systems
• Constructing Programs from Example Computations
• Continuation-Based Program Transformation Strategies
• Derivation of Logic Programs
• Goal-Directed Program Transformation
• scientific article; zbMATH DE number 3924119 (Why is no real title available?)
• scientific article; zbMATH DE number 4047035 (Why is no real title available?)
• scientific article; zbMATH DE number 3740740 (Why is no real title available?)
• scientific article; zbMATH DE number 3755906 (Why is no real title available?)
• scientific article; zbMATH DE number 3464806 (Why is no real title available?)
• scientific article; zbMATH DE number 3471563 (Why is no real title available?)
• scientific article; zbMATH DE number 3471564 (Why is no real title available?)
• scientific article; zbMATH DE number 3473289 (Why is no real title available?)
• scientific article; zbMATH DE number 3562462 (Why is no real title available?)
• scientific article; zbMATH DE number 3564308 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 3586961 (Why is no real title available?)
• scientific article; zbMATH DE number 3435053 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• scientific article; zbMATH DE number 3421895 (Why is no real title available?)
• Inference Rules for Program Annotation
• Knowledge and reasoning in program synthesis
• Mathematical theory of partial correctness
• Program Development as a Formal Activity
• Program development by stepwise refinement
• Program Improvement by Source-to-Source Transformation
• Programming by examples
• Reasoning about programs
• Some Techniques for Recursion Removal from Recursive Functions
• Speeding up the Synthesis of Programs from Traces
• Subgoal induction
• Syntactic source to source transforms and program manipulation
• Synthesis: Dreams → Programs
• Synthesising recursive functions with side effects
• The Evolution of Programs: Automatic Program Modification
• The Inference of Regular LISP Programs from Examples

Cited in

(3)

• Heuristics for constructing while loops
• Logical debugging
• scientific article; zbMATH DE number 4084990 (Why is no real title available?)

This page was built for publication: Synthetic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q761788)