Avoiding the Undefined by Underspecification

Gries, David; Schneider, Fred B.

Avoiding the Undefined by Underspecification

File(s)

95-1520.pdf (142.64 KB)

95-1520.ps (100.96 KB)

Permanent Link(s)

https://hdl.handle.net/1813/7177

Collections

Computer Science Technical Reports

Author

Gries, David

Schneider, Fred B.

Abstract

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.

Date Issued

1995-05

Publisher

Cornell University

Keywords

computer science

•

technical report

Previously Published as

http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR95-1520

Type

technical report