Login / Signup

A Categorical View of Weakest Liberal Preconditions.

Eric G. Wagner
Published in: CTCS (1985)
Keyphrases
  • multiple views
  • database
  • real world
  • domain knowledge
  • multi view
  • categorical data
  • numerical values
  • wide range
  • viewpoint