tag:blogger.com,1999:blog-6952289503455282490.post7739333074685558720..comments2023-10-01T01:52:20.726-07:00Comments on PLDI'2010 Fitness Blog: Specifying Input/Output by EnumerationPLDI FIThttp://www.blogger.com/profile/00676843410262377600noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-6952289503455282490.post-16610627376428617502010-05-25T12:08:35.835-07:002010-05-25T12:08:35.835-07:00A logic programming language called "axiomati...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".Walter W. Wilsonhttp://www.axiomaticlanguage.org/noreply@blogger.com