CiteSeerX — Executable English
CiteSeerX - Document Details (Isaac Councill, Lee Giles, Pradeep Teregowda): Abstract: This paper introduces a declarative formal language, called Executable English, for specifying computations. The language is ... ......