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 × Finland
1 × France
1 × Germany
1 × The Netherlands
2 × Belgium
4 × USA
Collaborated with:
P.V.Hentenryck P.Flener N.T.Sy E.Chasseur J.Burnay P.Q.Dung V.Lombart G.A.Wiggins L.Sterling P.Deransart L.Quesada P.V.Roy R.Collet D.A.Basin A.Hamfelt J.F.Nilsson
Talks about:
program (9) logic (9) constraint (4) synthesi (3) schemata (2) generat (2) general (2) toward (2) schema (2) comput (2)

Person: Yves Deville

DBLP DBLP: Deville:Yves

Facilitated 1 volumes:

LOPSTR 1993Ed

Contributed to:

SAC 20092009
PADL 20062006
PDCL 20042004
ESEC/FSE 20032003
ASE 20012001
LOPSTR 19971997
LOPSTR 19951995
LOPSTR 19931993
ICLP 19911991
LOPSTR 19911991
PLILP 19911991
NACLP 19891989

Wrote 13 papers:

SAC-2009-DungDH #constraints #framework #graph #optimisation
LS(graph & tree): a local search framework for constraint optimization on graphs and trees (PQD, YD, PVH), pp. 1402–1407.
PADL-2006-QuesadaRDC #problem #using
Using Dominators for Solving Constrained Path Problems (LQ, PVR, YD, RC), pp. 73–87.
PDCL-2004-BasinDFHN #logic #source code #synthesis
Synthesis of Programs in Computational Logic (DAB, YD, PF, AH, JFN), pp. 30–65.
ESEC-FSE-2003-SyD #consistency #generative #interprocedural #testing
Consistency techniques for interprocedural test data generation (NTS, YD), pp. 108–117.
ASE-2001-SyD #automation #float #generative #integer #source code #testing
Automatic Test Data Generation for Programs with Integer and Float Variables (NTS, YD), pp. 13–21.
LOPSTR-1997-ChasseurD #constraints #logic programming
Logic Program Schemas, Constraints, and Semi-unification (EC, YD), pp. 69–89.
LOPSTR-1995-FlenerD #logic programming #program transformation
Logic Program Transformation through Generalization Schemata (PF, YD), pp. 171–173.
LOPSTR-1993-LombartWD #proving #synthesis
Guiding Synthesis Proofs (VL, GAW, YD), pp. 67–81.
ICLP-1991-DevilleSD #development #logic programming
Software Development and Logic Programming (YD, LS, PD), p. 941.
ICLP-1991-HentenryckD #constraints #logic #logic programming
The Cardinality Operator: A New Logical Connective for Constraint Logic Programming (PVH, YD), pp. 745–759.
LOPSTR-1991-FlenerD #logic programming #synthesis #towards
Towards Stepwise, Schema-guided Synthesis of Logic Programms (PF, YD), pp. 46–64.
PLILP-1991-HentenryckD #constraints #finite #logic programming #semantics
Operational Semantics of Constraint Logic Programming over Finite Domains (PVH, YD), pp. 395–406.
NACLP-1989-DevilleB #logic programming #source code #towards
Generalization and Program Schemata: A Step Towards Computer-Aided Construction of Logic Programs (YD, JB), pp. 409–425.
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.