An augmented pattern matcher as a tool to synthesize conceptual descriptions of programs | IEEE Conference Publication | IEEE Xplore