Soundness and completeness of a synthesis algorithm based on example computations

DOI10.1145/3149.3150zbMath0629.68009OpenAlexW2114881313MaRDI QIDQ3766813

Michael A. Bauer

Publication date: 1985

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3149.3150

zbMATH Keywords

program synthesisproceduresprogramming by example

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Soundness and completeness of a synthesis algorithm based on example computations