Login / Signup

Denotational Semantics Using an Operationally-Based Term Model.

Mitchell WandGregory T. Sullivan
Published in: POPL (1997)
Keyphrases
  • computational model
  • databases
  • probabilistic model
  • objective function