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 × Austria
1 × Italy
1 × United Kingdom
2 × Belgium
4 × USA
Collaborated with:
H.Søndergaard P.J.Stuckey G.Gange J.A.Navas P.Bone Z.Somogyi M.Codish V.Lagoon T.Armstrong K.Marriott J.R.M.Cornish
Talks about:
program (5) constraint (3) analysi (3) transform (2) represent (2) interpol (2) abstract (2) depend (2) logic (2) interpret (1)

Person: Peter Schachte

DBLP DBLP: Schachte:Peter

Contributed to:

ICLP 20152015
LOPSTR 20142014
CADE 20132013
ICLP 20132013
SAS 20132013
TACAS 20132013
ICLP 20112011
ESOP 20062006
VMCAI 20062006
PADL 20032003
ICLP 19971997
SAS 19941994

Wrote 12 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.
ICLP-J-2011-BoneSS #automation #parallel
Estimating the overlap between dependent computations for automatic parallelization (PB, ZS, PS), pp. 575–591.
ESOP-2006-CodishLSS #analysis #termination
Size-Change Termination Analysis in k-Bits (MC, VL, PS, PJS), pp. 230–245.
Closure Operators for ROBDDs (PS, HS), pp. 1–16.
PADL-2003-Schachte #quantifier #sequence
Sequence Quantification (PS), pp. 128–144.
ICLP-1997-Schachte #logic programming
Global Variables in Logic Programming (PS), pp. 3–17.
SAS-1994-ArmstrongMSS #algebra #analysis #dependence #performance #representation
Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation (TA, KM, PS, HS), pp. 266–280.

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.