Travelled to:1 × France
1 × Italy
1 × United Kingdom
3 × USA
Collaborated with:P.J.Stuckey P.Schachte H.Søndergaard J.A.Navas K.Marriott P.Moulder J.R.M.Cornish
Talks about:program (4) constraint (3) transform (2) interpol (2) abstract (2) layout (2) optim (2) tabl (2) represent (1) interpret (1)
Person: Graeme Gange
DBLP: Gange:Graeme
Contributed to:
2015
2014
20132013
2013
2013
20122011Wrote 8 papers:
- ICLP-J-2015-GangeNSSS #horn clause #program analysis #program transformation #representation
- Horn clauses as an intermediate representation for program analysis and transformation (GG, JAN, PS, HS, PJS), pp. 526–542.
- LOPSTR-2014-CornishGNSSS #array #program transformation #source code
- Analyzing Array Manipulating Programs by Program Transformation (JRMC, GG, JAN, PS, HS, PJS), pp. 3–20.
- CADE-2013-GangeSSS #composition #constraints #difference
- Solving Difference Constraints over Modular Arithmetic (GG, HS, PJS, PS), pp. 215–230.
- ICLP-J-2013-GangeNSSS #constraints #logic programming
- Failure tabled constraint logic programming by interpolation (GG, JAN, PS, HS, PJS), pp. 593–607.
- SAS-2013-GangeNSSS #abstract domain #abstract interpretation
- Abstract Interpretation over Non-lattice Abstract Domains (GG, JAN, PS, HS, PJS), pp. 6–24.
- TACAS-2013-GangeNSSS #bound #constraints #model checking #regular expression
- Unbounded Model-Checking with Interpolation for Regular Language Constraints (GG, JAN, PJS, HS, PS), pp. 277–291.
- DocEng-2012-GangeMS #layout
- Optimal guillotine layout (GG, KM, PJS), pp. 13–22.
- DocEng-2011-GangeMMS #automation #layout
- Optimal automatic table layout (GG, KM, PM, PJS), pp. 23–32.