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 × 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 DBLP: Wiggins:Geraint_A=

Contributed to:

CL 20002000
LOPSTR 19951995
CADE 19941994
ICLP 19941994
LOPSTR/META 19941994
LOPSTR 19931993
JICSLP 19921992
LOPSTR 19911991

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.

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.