All Stories

  1. Type inference in the C: applications to the static analysis of programs

    Article • ACM Transactions on Programming Languages and Systems, September 2020, ACM (Association for Computing Machinery)

    Leandro T C Melo

  2. Inference of static semantics for incomplete C programs

    Article • Proceedings of the ACM on Programming Languages, January 2018, ACM (Association for Computing Machinery)

    Leandro T C Melo