Login / Signup

Some Formal Properties of a Class of Non-Deterministic Program Schemata

Takayasu Ito
Published in: SWAT (1968)
Keyphrases
  • computer programs
  • formal language
  • desirable properties
  • algebraic structure
  • imperative programs
  • real time
  • aggregation functions