generated at
program derivation
Automatic programming
Hoare logic
program refinement
Design by contract
Program synthesis
Proof-carrying code

googleprogram derivation
Google画像検索program derivation
Google定義検索 program derivation
wikipediaprogram derivation
weblio program derivation
kotobank program derivation
jisho program derivation