The paper proposes a new technique for executable specifications, which directly converts a specification into a program in a programming language by taking advantage of the idea of source-to_source conversion which is based on the rules defined formally and the canonical abstract syntax trees. The technique and the corresponding supporting system possess the following virtues: supporting rapid prototyping and getting the effects of rapid prototypes well.