Collaborated with:
T.W.Reps Emma Turetsky
Talks about:
newtonian (1) program (1) product (1) analysi (1) tensor (1)
Person: Prathmesh Prabhu
DBLP: Prabhu:Prathmesh
Contributed to:
Wrote 1 papers:
- POPL-2016-RepsTP #program analysis
- Newtonian program analysis via tensor product (TWR, ET, PP), pp. 663–677.