Travelled to:1 × France
Collaborated with:A.Ahmed
Talks about:languag (1) verifi (1) semant (1) compil (1) multi (1) open (1) use (1)
Person: James T. Perconti
DBLP: Perconti:James_T=
Contributed to:
Wrote 1 papers:
- ESOP-2014-PercontiA #compilation #multi #semantics #using #verification
- Verifying an Open Compiler Using Multi-language Semantics (JTP, AA), pp. 128–148.












