Login / Signup

Behavioral semantics of nonrecursive control structures.

Carl HewittPeter Boehler BishopRichard SteigerIrene GreifBrian Cantwell SmithTodd MatsonRoger Hale
Published in: Symposium on Programming (1974)
Keyphrases
  • control structures
  • control structure
  • semantic information
  • expressive power
  • formal semantics
  • query language
  • relational databases
  • logic programming