Login / Signup

Technical Perspective: Imperative or Functional Control Flow Handling: Why not the Best of Both Worlds?

Bill Howe
Published in: SIGMOD Rec. (2022)
Keyphrases
  • control flow
  • data flow
  • software testing
  • process model
  • workflow management systems
  • reactive systems
  • transition systems
  • test cases
  • formal semantics
  • business process models
  • database
  • learning algorithm
  • model checking