Publication:3326838
From MaRDI portal
zbMath0539.68031MaRDI QIDQ3326838
Publication date: 1983
inductive inference; computational complexity of synthesized programs; effective identification of fastest programs; effective synthesis of recursive functions from input-output examples
68Q25: Analysis of algorithms and problem complexity
68Q60: Specification and verification (program logics, model checking, etc.)
03D20: Recursive functions and relations, subrecursive hierarchies