Travelled to:1 × United Kingdom
Collaborated with:G.Gange J.A.Navas P.Schachte H.Søndergaard P.J.Stuckey
Talks about:program (2) transform (1) manipul (1) analyz (1) array (1)
Person: J. Robert M. Cornish
DBLP: Cornish:J=_Robert_M=
Contributed to:
2014Wrote 1 papers:
- LOPSTR-2014-CornishGNSSS #array #program transformation #source code
- Analyzing Array Manipulating Programs by Program Transformation (JRMC, GG, JAN, PS, HS, PJS), pp. 3–20.