Marcus R. de Araújo

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Dynamic Constraints

Fixpoint Semantics

Uncertain Information

Top Venues

Proc. ACM Program. Lang.

Publications

Leandro T. C. Melo, Rodrigo Geraldo Ribeiro, Marcus R. de Araújo, Fernando Magno Quintão Pereira
Inference of static semantics for incomplete C programs. Proc. ACM Program. Lang. 2 (POPL) (2018)