BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Canada
1 × Hungary
1 × Japan
2 × United Kingdom
3 × USA
Collaborated with:
B.J.Ellis J.Stark G.Grov G.Michaelson A.Bundy ∅ E.Maclean A.Cook R.F.Pointon K.Hammond F.v.Harmelen A.Smaill
Talks about:
proof (6) program (4) synthesi (2) function (2) automat (2) toward (2) system (2) induct (2) extens (2) level (2)

♂ Person: Andrew Ireland

DBLP DBLP: Ireland:Andrew

Facilitated 13 volumes:

ASE 2014ExpertReviewPa
ASE 2014PrBoard
ASE 2013DemoTrackCh
ASE 2013ToCh
ASE 2012DemoTrackPrCo
ASE 2012ExpertReviewPa
ASE 2012PrBoard
ASE 2012ToCo
ASE 2011ExpertReviewPa
ASE 2011PrBoard
ASE 2010ExpertReviewPa
ASE 2010PrBoard
ASE 2008PrCh

Contributed to:

ASE 20112011
SAC 20082008
ASE 20062006
IFL 20062006
IFM 20042004
ASE 20032003
ASE 20012001
ASE 19991999
LOPSTR 19981998
CADE 19961996
CADE 19901990

Wrote 11 papers:

ASE-2011-MacleanIG #animation #correctness #functional #pointer #source code
The CORE system: Animation and functional correctness of pointer programs (EM, AI, GG), pp. 588–591.
SAC-2008-GrovPMI #component #concurrent #coordination
Preserving coordination properties when transforming concurrent system components (GG, RFP, GM, AI), pp. 126–127.
ASE-2006-Ireland #automation #logic #refinement #towards
Towards Automatic Assertion Refinement for Separation Logic (AI), pp. 309–312.
IFL-2006-HammondGMI #low level #programming
Low-Level Programming in Hume: An Exploration of the HW-Hume Level (KH, GG, GM, AI), pp. 91–107.
IFM-2004-EllisI #automation #integration #program analysis #proving #theorem proving
An Integration of Program Analysis and Automated Theorem Proving (BJE, AI), pp. 67–86.
ASE-2003-EllisI #automation #exception #proving
Automation for Exception Freedom Proofs (BJE, AI), pp. 343–346.
ASE-2001-CookIM #higher-order #proving #synthesis #theorem proving
Higher Order Function Synthesis Through Proof Planning (AC, AI, GM), pp. 307–310.
ASE-1999-StarkI #automation #imperative #proving #synthesis #theorem proving #towards
Towards Automatic Imperative Program Synthesis Through Proof Planning (JS, AI), pp. 44–51.
LOPSTR-1998-StarkI #invariant #proving
Invariant Discovery via Failed Proof Attempts (JS, AI), pp. 271–288.
CADE-1996-IrelandB #induction #proving
Extensions to a Generalization Critic for Inductive Proof (AI, AB), pp. 47–61.
CADE-1990-BundyHSI #induction #proving
Extensions to the Rippling-Out Tactic for Guiding Inductive Proofs (AB, FvH, AS, AI), pp. 132–146.
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.