"Smart contract" is a phrase from the ERights folks which Ethereum borrowed in order to raise hype levels. It originally referred to writing an auditor, a program which audits, or proves, that the behavior of some other client programs is in line with some specification.