Login / Signup

Data Type Specification: Parameterization and the Power of Specification Techniques.

James W. ThatcherEric G. WagnerJesse B. Wright
Published in: ACM Trans. Program. Lang. Syst. (1982)
Keyphrases
  • data types
  • user defined
  • data structure
  • database management systems
  • data model
  • high level
  • database systems
  • specification language
  • data sets
  • databases
  • preprocessing
  • power consumption
  • formal specification