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 × Belgium
1 × France
1 × Sweden
1 × The Netherlands
1 × USA
1 × United Kingdom
2 × Italy
Collaborated with:
B.Hnich Y.Deville J.Pearson Z.Kiziltan H.Zidoum K.Lau M.Ornaghi H.Büyükyildiz B.L.Charlier L.Popelínsky J.He T.Mancini M.Ågren D.A.Basin A.Hamfelt J.F.Nilsson
Talks about:
program (9) synthesi (7) schema (6) logic (5) constraint (4) guid (4) problem (3) combinatori (2) transform (2) correct (2)

♂ Person: Pierre Flener

DBLP DBLP: Flener:Pierre

Facilitated 2 volumes:

ASE 2000PrCh
LOPSTR 1998Ed

Contributed to:

SAC 20122012
PDCL 20042004
LOPSTR 20032003
PADL 20012001
ASE 19981998
LOPSTR 19981998
ASE 19971997
LOPSTR 19971997
SAS 19971997
LOPSTR 19951995
LOPSTR/META 19941994
LOPSTR 19911991

Wrote 15 papers:

SAC-2012-HeFP #constraints
Solution neighbourhoods for constraint-directed local search (JH, PF, JP), pp. 74–79.
SAC-2012-ManciniFP #combinator #constraints #database #problem #relational #synthesis
Combinatorial problem solving over relational databases: view synthesis through constraint-based local search (TM, PF, JP), pp. 80–87.
PDCL-2004-BasinDFHN #logic #source code #synthesis
Synthesis of Programs in Computational Logic (DAB, YD, PF, AH, JFN), pp. 30–65.
LOPSTR-2003-FlenerPA #combinator #modelling #problem #relational
Introducing esra, a Relational Language for Modelling Combinatorial Problems (PF, JP, MÅ), pp. 214–232.
PADL-2001-FlenerHK #compilation #constraints #programming
Compiling High-Level Type Constructors in Constraint Programming (PF, BH, ZK), pp. 229–244.
PADL-2001-FlenerHK01a #metaheuristic #problem #set
A Meta-heuristic for Subset Problems (PF, BH, ZK), pp. 274–287.
ASE-1998-FlenerZH #constraints #logic programming #source code #synthesis
Schema-Guided Synthesis of Constraint Logic Programs (PF, HZ, BH), pp. 168–176.
LOPSTR-1998-ZidoumFH #source code #synthesis
Schema-Guided Synthesis of CLP Programs (HZ, PF, BH), pp. 309–312.
ASE-1997-FlenerLO #source code #synthesis
Correct-Schema-Guided Synthesis of Steadfast Programs (PF, KKL, MO), p. 153–?.
LOPSTR-1997-BuyukyildizF #logic programming #program transformation
Generalised Logic Program Transformation Schemas (HB, PF), pp. 49–68.
LOPSTR-1997-FlenerLO #on the
On Correct Program Schemas (PF, KKL, MO), pp. 128–147.
SAS-1997-CharlierF #abstract interpretation #on the #theory and practice
On the Desirable Link Between Theory and Practice in Abstract Interpretation (BLC, PF), pp. 379–387.
LOPSTR-1995-FlenerD #logic programming #program transformation
Logic Program Transformation through Generalization Schemata (PF, YD), pp. 171–173.
LOPSTR-1994-FlenerP #induction #on the #reasoning #synthesis #using
On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects (PF, LP), pp. 69–87.
LOPSTR-1991-FlenerD #logic programming #synthesis #towards
Towards Stepwise, Schema-guided Synthesis of Logic Programms (PF, YD), pp. 46–64.
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.