scientific article; zbMATH DE number 3963167

MaRDI QIDQ3731007zbMATH OpenFDO

Authors

Publication date 1984

zbMATH Keywords

abstract data typesAutomatic programConstruction techniquesprogram analysisprogram synthesisprogram transformations

Mathematics Subject Classification ID

Conference proceedings and collections of articles (00Bxx) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3911678
• Automatic programming: A tutorial on formal methodologies
• scientific article; zbMATH DE number 4084990
• scientific article; zbMATH DE number 3982491
• An approach to automatic deductive synthesis of functional programs

Cited in

(27)

• Automatic programming: A tutorial on formal methodologies
• The origin of a binary-search paradigm
• Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study
• Schema induction for logic program synthesis
• Deductive and inductive synthesis of equational programs
• Program synthesis from formal requirements specifications using APTS
• Automatic synthesis of action programs for intelligent robots
• On the conversion of program specifications into pseudo code using Jackson structured programming
• Joining programming theorems. A practical approach to program building
• Inducing constructor systems from example-terms by detecting syntactical regularities
• Drill and join: a method for exact inductive program synthesis
• scientific article; zbMATH DE number 2084338 (Why is no real title available?)
• Automatic generation of make dependencies
• Predicate-formation for synthesizing LISP code
• scientific article; zbMATH DE number 3911678 (Why is no real title available?)
• scientific article; zbMATH DE number 3965414 (Why is no real title available?)
• scientific article; zbMATH DE number 3982491 (Why is no real title available?)
• scientific article; zbMATH DE number 572175 (Why is no real title available?)
• On the errors that learning machines will make
• scientific article; zbMATH DE number 2040721 (Why is no real title available?)
• scientific article; zbMATH DE number 1475692 (Why is no real title available?)
• scientific article; zbMATH DE number 4115923 (Why is no real title available?)
• scientific article; zbMATH DE number 907669 (Why is no real title available?)
• scientific article; zbMATH DE number 3225739 (Why is no real title available?)
• Planning principles for problem solving in automatic program synthesis systems
• Language constructs supporting data base creation
• Syntax-directed programming of data input and checking

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 Q3731007)