scientific article; zbMATH DE number 3911678

zbMATH Open0571.68003MaRDI QIDQ3687682FDOQ3687682

Authors: Alan W. Biermann 

Publication date: 1985

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

Recommendations

• scientific article; zbMATH DE number 3963167
• Automatic programming: A tutorial on formal methodologies
• scientific article; zbMATH DE number 7434637
• scientific article
• scientific article; zbMATH DE number 3225739
• scientific article; zbMATH DE number 3315142
• Publication:4861677

zbMATH Keywords

formal specificationsprogram synthesisprogram inferenceAutomatic computer programmingautomatic construction of programsformal methodologies

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (16)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Top-down synthesis of divide-and-conquer algorithms
• Automatic synthesis of computation programs through analysis of variable semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the conversion of program specifications into pseudo code using Jackson structured programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Synthetic programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automatic programming: A tutorial on formal methodologies
• Planning principles for problem solving in automatic program synthesis systems
• An incremental approach to automatic algorithm design

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