Avoiding the Undefined by Underspecification

Authors:
David Gries;Fred B. Schneider
Affiliations:
-;-
Venue:
Avoiding the Undefined by Underspecification
Year:
1995

Citing 0
Cited 2

Undefinedness vs. underspecification in HALDEN ASL

Nordic Journal of Computing
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler

ICSE '07 Proceedings of the 29th international conference on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

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.