Stan Danforth

Learn More
Abstruct-FAD is a strongly-typed database programming language designed for uniformly manipulating transient and persistent data on Bubba, a parallel database system developed at MCC. This paper provides an overall description of FAD, and discusses the design rationale behind a number of its distinguishing features. Comparisons with other database(More)
  • S. Danforth
  • 1988
The reasons for the increased interest in constraint-based models of computation are discussed. A model of computation called consistent choice narrowing is introduced. It allows natural representation of useful constraint situations not easily expressed in current programming languages. In particular, unknown functions can be defined by constraint(More)
  • 1