Login / Signup

Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control.

Tristan CrolardEmmanuel Polonowski
Published in: J. Log. Algebraic Methods Program. (2012)
Keyphrases
  • control system
  • classical logic
  • computational properties
  • neural network
  • markov chain
  • logic programming
  • set theory
  • real time
  • genetic algorithm
  • image data
  • control strategy
  • multi valued
  • control problems
  • control theory