Monday, May 24, 2010

Specifying Input/Output by Enumeration

by Walter W. Wilson and Yu Lei, University of Texas at Arlington

1 comment:

  1. A logic programming language called "axiomatic language" is based on the idea that the external behavior of a program -- even an interactive program -- can be specified by a static infinite set of symbolic expressions that enumerate all possible inputs -- or sequences of inputs -- along with the corresponding outputs. This avoids the awkwardness of input/output operations in a declarative language and the language stays completely "pure".