Inductive syntactic synthesis of programs with FOR loops and interpreted functions

MaRDI QIDQ1822935zbMATH OpenFDO

Authors Efim Kinber

Publication date 1988

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

program synthesisFOR loopsinductive synthesis

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4124987
• scientific article; zbMATH DE number 4078789
• Some models of inductive syntactical synthesis from sample computations
• scientific article; zbMATH DE number 4072426
• scientific article; zbMATH DE number 3924113

Cited in

(14)

• scientific article; zbMATH DE number 4078789 (Why is no real title available?)
• scientific article; zbMATH DE number 2090035 (Why is no real title available?)
• scientific article; zbMATH DE number 3924113 (Why is no real title available?)
• Alien coding
• scientific article; zbMATH DE number 4047044 (Why is no real title available?)
• scientific article; zbMATH DE number 3997144 (Why is no real title available?)
• Some models of inductive syntactical synthesis from sample computations
• Synthesis of the programmed functions offor loops on data structures
• scientific article; zbMATH DE number 4124987 (Why is no real title available?)
• Semantic synthesis of programs by matching compositions
• scientific article; zbMATH DE number 4072426 (Why is no real title available?)
• scientific article; zbMATH DE number 3982491 (Why is no real title available?)
• A means for the structural synthesis of programs
• Drill and join: a method for exact inductive program synthesis

This page was built for publication: Inductive syntactic synthesis of programs with FOR loops and interpreted functions

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