BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Gange:Graeme

Contributed to:

ICLP 20152015
LOPSTR 20142014
CADE 20132013
ICLP 20132013
SAS 20132013
TACAS 20132013
DocEng 20122012
DocEng 20112011

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.