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.