Login / Signup

From Reversible Semantics to Reversible Debugging.

Ivan Lanese
Published in: RC (2018)
Keyphrases
  • markov chain
  • cellular automata
  • information systems
  • logic programming
  • formal semantics
  • web services
  • database systems
  • model based diagnosis