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:
2000
1995
1994
19941994199319921991Wrote 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.