scientific article; zbMATH DE number 3963167

zbMATH Open0597.68011MaRDI QIDQ3731007FDOQ3731007

Authors:

Publication date: 1984

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

program transformationsabstract data typesprogram analysisprogram synthesisAutomatic programConstruction techniques

Mathematics Subject Classification ID

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

Cited In (24)

• Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study
• Deductive and inductive synthesis of equational programs
• Title not available (Why is that?)
• Predicate-formation for synthesizing LISP code
• The origin of a binary-search paradigm
• Title not available (Why is that?)
• Joining programming theorems. A practical approach to program building
• Title not available (Why is that?)
• Title not available (Why is that?)
• Schema induction for logic program synthesis
• Automatic generation of make dependencies
• Title not available (Why is that?)
• On the errors that learning machines will make
• Title not available (Why is that?)
• Drill and Join: A Method for Exact Inductive Program Synthesis
• On the conversion of program specifications into pseudo code using Jackson structured programming
• Title not available (Why is that?)
• Automatic programming: A tutorial on formal methodologies
• Title not available (Why is that?)
• Program synthesis from formal requirements specifications using APTS
• Planning principles for problem solving in automatic program synthesis systems
• Language constructs supporting data base creation
• Syntax-directed programming of data input and checking
• Inducing constructor systems from example-terms by detecting syntactical regularities

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)