Efficient compilation and execution of synchronous programs via type-state programming.

Avinash Malik

Browse the full MEMOCODE paper archive.