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 ... ...

citeseerx.ist.psu.edu