Avoiding the Undefined by Underspecification

  title={Avoiding the Undefined by Underspecification},
  author={David Gries and Fred B. Schneider},
  booktitle={Computer Science Today},
The first volume of Springer-Verlag's Lecture Notes in Computer Science appeared in 1973, almost 22 years ago. The field has learned a lot about computing since then, and in doing so it has leaned on and supported advances in other fields. In this paper, we discuss an aspect of one of these fields that has been explored by computer scientists, handling undefined terms in formal logic. Logicians are concerned mainly with studying logic n o t using it. Some computer scientists have discovered, by… CONTINUE READING
Highly Cited
This paper has 66 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.

66 Citations

Citations per Year
Semantic Scholar estimates that this publication has 66 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 10 references

On the usability of logics which handle partial func- tions

  • J. H. Cheng, C. B. Jones
  • Third Refinement Workshop,
  • 1991
3 Excerpts

Semantics of quasi-boolean expressions. In Feijen, W.H.J., et al (eds.) Beauty is Our Business

  • A. Bijlsma
  • 1990
1 Excerpt

A Programming Logic

  • R. L. Constable, M. J. O'Donnell
  • Winthrop, Cam- bridge,
  • 1978
1 Excerpt

Existence and description in formal logic

  • D. S. Scott
  • Philosopher of the Century. St. Leonards: Allen…
  • 1967
1 Excerpt

Semantics of quasiboolean expressions

  • A. Bijlsma

Similar Papers

Loading similar papers…