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 × Belgium
1 × Germany
1 × Sweden
2 × United Kingdom
Collaborated with:
A.Smaill J.Green N.E.Fuchs L.Fribourg D.Lacey I.Green
Talks about:
program (4) order (3) higher (2) proof (2) logic (2) autom (2) plan (2) constraint (1) transform (1) traceabl (1)

♂ Person: Julian Richardson

DBLP DBLP: Richardson:Julian

Facilitated 1 volumes:

ASE 2002GCh

Contributed to:

ASE 20042004
CL 20002000
CADE 19981998
LOPSTR 19981998
LOPSTR 19971997
LOPSTR 19961996
KBSE 19951995

Wrote 7 papers:

ASE-2004-RichardsonG #automation #traceability
Automating Traceability for Generated Software Artifacts (JR, JG), pp. 24–33.
CL-2000-LaceyRS #higher-order #logic programming #synthesis
Logic Program Synthesis in a Higher-Order Setting (DL, JR, AS), pp. 87–100.
CADE-1998-RichardsonSG #higher-order #logic #proving #theorem proving
System Description: Proof Planning in Higher-Order Logic with Lambda-Clam (JR, AS, IG), pp. 129–133.
LOPSTR-1998-Richardson #named #proving #theorem proving
Abstract: Proof Planning with Program Schemas (JR), pp. 313–315.
LOPSTR-1997-RichardsonF #development #prolog #source code
Development of Correct Transformation Schemata for Prolog Programs (JR, NEF), pp. 263–281.
LOPSTR-1996-FribourgR #constraints #verification
Symbolic Verification with Gap-Order Constraints (LF, JR), pp. 20–37.
KBSE-1995-Richardson #automation #data type #functional #source code
Automating Changes of Data Type in Functional Programs (JR), pp. 166–173.

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.