scientific article; zbMATH DE number 3934387

MaRDI QIDQ3706480zbMATH OpenFDO

Authors É. Kh. Tyugu

Publication date 1982

zbMATH Keywords

program synthesis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Publication:5751976
• A means for the structural synthesis of programs
• scientific article; zbMATH DE number 1973864
• Planning principles for problem solving in automatic program synthesis systems
• scientific article; zbMATH DE number 3845028

Cited in

(41)

• A method and a language for constructing iterative programs
• A means for the structural synthesis of programs
• The origin of a binary-search paradigm
• Semantic synthesis of programs by matching compositions
• Bionic approach to knowledge representation in intelligent systems. I
• Composition structure of programmology
• Program composition via unification
• Syntactically correct multilevel structured program design
• Automatic synthesis of action programs for intelligent robots
• Joining programming theorems. A practical approach to program building
• Grigori Mints and computer science
• Multilevel synthesis of structured programs
• scientific article; zbMATH DE number 3845028 (Why is no real title available?)
• scientific article; zbMATH DE number 4203709 (Why is no real title available?)
• Algorithm synthesis by lazy thinking: using problem schemes
• Formal deduction with transfinite induction and its transformation for easier program synthesis
• scientific article; zbMATH DE number 3916263 (Why is no real title available?)
• scientific article; zbMATH DE number 3947617 (Why is no real title available?)
• scientific article; zbMATH DE number 3965413 (Why is no real title available?)
• Systematic program development
• scientific article; zbMATH DE number 4049375 (Why is no real title available?)
• Synthesis of the programmed functions offor loops on data structures
• scientific article; zbMATH DE number 4084990 (Why is no real title available?)
• scientific article; zbMATH DE number 67468 (Why is no real title available?)
• scientific article; zbMATH DE number 108494 (Why is no real title available?)
• scientific article; zbMATH DE number 1203208 (Why is no real title available?)
• scientific article; zbMATH DE number 1232603 (Why is no real title available?)
• scientific article; zbMATH DE number 494377 (Why is no real title available?)
• scientific article; zbMATH DE number 550330 (Why is no real title available?)
• scientific article; zbMATH DE number 1098496 (Why is no real title available?)
• scientific article; zbMATH DE number 1973864 (Why is no real title available?)
• scientific article; zbMATH DE number 3997144 (Why is no real title available?)
• scientific article; zbMATH DE number 4003499 (Why is no real title available?)
• scientific article; zbMATH DE number 1408918 (Why is no real title available?)
• scientific article; zbMATH DE number 3892570 (Why is no real title available?)
• Synthesis of induction orderings for existence proofs
• Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis
• scientific article; zbMATH DE number 4187141 (Why is no real title available?)
• Planning principles for problem solving in automatic program synthesis systems
• Integrated tools for design and synthesis of classes of algorithms and programs
• Synthesis of network structure design programs

This page was built for publication:

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