Avoiding the Undefined by Underspecification
The work
| Authors | David Gries; Fred B. Schneider |
|---|---|
| Editors | |
| Type | incollection |
| Year | 1995 |
| Citekey | gries1995avoiding |
Where it appeared
| Published in | Computer Science Today: Recent Trends and Developments |
|---|---|
| Publisher | Springer |
| Volume | 1000 |
| Pages | 366--373 |
Identifiers
| DOI | 10.1007/bfb0015254 |
|---|
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 underspecification is the preferred choice.
A copy is held
pdf, 458.4 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-08-05 00:00 UTC |
| Approved by | a person 2026-08-16 15:43 UTC |
Cite it as
@incollection{gries1995avoiding,
title = {Avoiding the Undefined by Underspecification},
author = {David Gries and Fred B. Schneider},
year = {1995},
booktitle = {Computer Science Today: Recent Trends and Developments},
publisher = {Springer},
volume = {1000},
pages = {366--373},
doi = {10.1007/bfb0015254},
}
This record lives at https://refs.drheap.org/gries1995avoiding/ and will keep doing so.