Casey Meijer

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 3

Top Topics

Java Virtual Machine

Operating System

Top Venues

J. Autom. Lang. Comb.

Publications

Stavros Konstantinidis, Casey Meijer, Nelma Moreira, Rogério Reis
Symbolic Manipulation of Code Properties. J. Autom. Lang. Comb. 23 (1-3) (2018)
Stavros Konstantinidis, Casey Meijer, Nelma Moreira, Rogério Reis
Implementation of Code Properties via Transducers. CIAA (2016)
Stavros Konstantinidis, Casey Meijer, Nelma Moreira, Rogério Reis
Symbolic Manipulation of Code Properties. CoRR (2015)