`Travelled to:`

1 × Belgium

1 × France

1 × The Netherlands

1 × USA

1 × United Kingdom

2 × Italy

`Collaborated with:`

∅ A.J.Parkes I.Kraan K.Lau B.Curry G.Hayes V.Lombart Y.Deville B.L.Richards A.Smaill A.Bundy J.Hesketh

`Talks about:`

synthesi (5) logic (5) program (4) proof (4) develop (2) system (2) induct (2) whelk (2) reconstruct (1) constraint (1)

## Person: Geraint A. Wiggins

### DBLP: Wiggins:Geraint_A=

### Contributed to:

### Wrote 8 papers:

- CL-2000-CurryWH #constraints #representation
- Representing Trees with Constraints (BC, GAW, GH), pp. 315–325.
- LOPSTR-1995-ParkesW #horn clause #induction #logic programming #synthesis
- Logic Program Synthesis by Induction over Horn Clauses (AJP, GAW), p. 170.
- CADE-1994-RichardsKSW #logic #named
- Mollusc: A General Proof-Development Shell for Sequent-Based Logics (BLR, IK, AS, GAW), pp. 826–830.
- ICLP-1994-LauW #logic programming #source code #specification #synthesis #tutorial
- A Tutorial on Synthesis of Logic Programs from Specifications (KKL, GAW), pp. 11–14.
- LOPSTR-1994-Wiggins #re-engineering
- Improving the Whelk System: A Type-Theoretic Reconstruction (GAW), pp. 231–247.
- LOPSTR-1993-LombartWD #proving #synthesis
- Guiding Synthesis Proofs (VL, GAW, YD), pp. 67–81.
- JICSLP-1992-Wiggins #development #logic programming #proving #source code #synthesis
- Synthesis and Transformation of Logic Programs in the Whelk Proof Development System (GAW), pp. 351–365.
- LOPSTR-1991-WigginsBKH #induction #logic programming #proving #source code #synthesis
- Synthesis and Transfomation of Logic Programs from Constructive, Inductive Proof (GAW, AB, IK, JH), pp. 27–45.