J. Robert M. Cornish

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Imperative Programs

Programming Language Constructs

Top Venues

Publications

J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Analyzing Array Manipulating Programs by Program Transformation. LOPSTR (2014)