Avoiding the Undefined by Underspecification
Gries, David,; Schneider, Fred B.
We use the appeal of simplicity and an aversion to complexity in selecting a method for handling partial functions in logic. We conclude that avoiding the undefined by using underspecifi- cation is the preferred choice.
computer science; technical report
Previously Published As