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

Chanchal Kumar Roy Thomas Noll Banani Roy James 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