Sign in

Towards automatic verification of Erlang programs by pi-calculus translation.

Chanchal Kumar RoyThomas NollBanani RoyJames R. Cordy
Published in: Erlang Workshop (2006)
Keyphrases
  • provably correct
  • machine translation
  • query translation
  • algebraic structure
  • cross language
  • cross language information retrieval
  • computer programs
  • relational calculus