Login / Signup

Effect Systems Revisited - Control-Flow Algebra and Semantics.

Alan MycroftDominic A. OrchardTomas Petricek
Published in: Semantics, Logics, and Calculi (2016)
Keyphrases
  • control flow
  • data flow
  • software testing
  • business process models
  • data model
  • formal semantics
  • databases
  • expert systems
  • distributed systems
  • computer systems
  • workflow management systems
  • reactive systems