scientific article
From MaRDI portal
Publication:3731007
zbMath0597.68011MaRDI QIDQ3731007
No author found.
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
program transformationsprogram analysisprogram synthesisabstract data typesAutomatic programConstruction techniques
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)
Related Items (7)
Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study ⋮ On the errors that learning machines will make ⋮ Schema induction for logic program synthesis ⋮ Drill and Join: A Method for Exact Inductive Program Synthesis ⋮ Automatic programming: A tutorial on formal methodologies ⋮ Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities ⋮ Deductive and inductive synthesis of equational programs
This page was built for publication:
