M. A. Bauer
M. A. Bauer.
Soundness and completeness of a synthesis algorithm based on example computations.
Journal of the ACM
, 32(2):249-279, April 1985.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database