A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu

Guilherme F. Lima, Rodrigo C. M. Santos, Roberto Ierusalimschy, Edward Hermann Haeusler, Francisco Sant'Anna. A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu. Journal of Systems Architecture, 97:239-257, 2019. [doi]

Authors

Guilherme F. Lima

This author has not been identified. Look up 'Guilherme F. Lima' in Google

Rodrigo C. M. Santos

This author has not been identified. Look up 'Rodrigo C. M. Santos' in Google

Roberto Ierusalimschy

This author has not been identified. Look up 'Roberto Ierusalimschy' in Google

Edward Hermann Haeusler

This author has not been identified. Look up 'Edward Hermann Haeusler' in Google

Francisco Sant'Anna

This author has not been identified. Look up 'Francisco Sant'Anna' in Google