theory and experiments of a programming discourse