Go backward to Primitive Domains Go up to Top Go forward to Product Domains

Primitive Domains

• Character strings

  Domain String = the character strings from elements of C (including "error")
  Operations

  A, B, C, ..., Z: String
  empty: String
  error: String
  concat: String x String -> String
  length: String -> Nat
  substr: String x Nat x Nat -> String

• Computer store locations

  Domain Location, the address space in a computer store
  Operations

  first-locn: Location
  next-locn: Location -> Location
  eq-locn: Location x Location -> Tr
  less-l: Location x Location -> Tr