Fun and Interesting Thoughts (FIT) is a special event held at the 2010 Conference on Programming Language Design and Implementation (PLDI). FIT is a venue for thoughts that present fresh insights, unveil surprising ideas, identify hidden trends, or that are simple neat and fun for a PLDI audience.
Monday, May 24, 2010
Specifying Input/Output by Enumeration
by Walter W. Wilson and Yu Lei, University of Texas at Arlington
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".
Fun and Interesting Thoughts (FIT) is a special event held at the 2010 Conference on Programming Language Design and Implementation (PLDI). FIT is a venue for thoughts that present fresh insights, unveil surprising ideas, identify hidden trends, or that are simple neat and fun for a PLDI audience.
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".
ReplyDelete