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 × Germany
1 × Japan
1 × United Kingdom
Collaborated with:
J.F.Nilsson D.A.Basin Y.Deville P.Flener
Talks about:
program (5) logic (4) synthesi (2) combinatori (1) construct (1) composit (1) scheme (1) recurs (1) primit (1) predic (1)

Person: Andreas Hamfelt

DBLP DBLP: Hamfelt:Andreas

Contributed to:

PDCL 20042004
LOPSTR 19981998
JICSLP 19961996
ICLP 19951995

Wrote 4 papers:

PDCL-2004-BasinDFHN #logic #source code #synthesis
Synthesis of Programs in Computational Logic (DAB, YD, PF, AH, JFN), pp. 30–65.
LOPSTR-1998-HamfeltN #combinator #composition #induction #logic programming #source code #synthesis
Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes (AH, JFN), pp. 143–158.
JICSLP-1996-HamfeltN #declarative #logic programming #recursion
Declarative Logic Programming with Primitive Recursive Relations on Lists (AH, JFN), pp. 230–243.
ICLP-1995-NilssonH #higher-order #logic programming #source code
Constructing Logic Programs with Higher-Order Predicates (JFN, AH), p. 827.

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.