Publications

2 results for Edward H. Haeusler

A memory-bounded, deterministic and terminating semantics for the synchronous programming language CÉU
- - Guilherme Lima
  - Rodrigo Santos
  - et al.
- 2019
- Journal of Systems Architecture
Utilizing IALC to formalize the Brazilian OAB exam
- - Bernardo Alkmim
  - Alexandre Rademaker
  - et al.
- 2018
- XAILA 2018