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 × Canada
1 × Germany
1 × Italy
1 × Japan
1 × USA
2 × United Kingdom
Collaborated with:
O.Ridoux F.Malésieux J.Métivier S.Loudni N.Jussien Y.Delon L.Péridy B.Crémilleux M.Khiari
Talks about:
prolog (4) constraint (2) implement (2) analysi (2) discoveri (1) properti (1) abstract (1) regular (1) reactiv (1) problem (1)

Person: Patrice Boizumault

DBLP DBLP: Boizumault:Patrice

Contributed to:

SAC 20122012
SAC 20092009
FLOPS 19991999
JICSLP 19981998
ILPS 19971997
ILPS 19931993
ESOP 19861986
ICLP 19861986

Wrote 8 papers:

SAC-2012-MetivierBCKL #constraints #declarative
A constraint language for declarative pattern discovery (JPM, PB, BC, MK, SL), pp. 119–125.
SAC-2009-MetivierBL
Softening Gcc and Regular with preferences (JPM, PB, SL), pp. 1392–1396.
FLOPS-1999-RidouxBM #prolog #static analysis
Typed Static Analysis: Application to Groundness Analysis of PROLOG and λ-PROLOG (OR, PB, FM), pp. 267–283.
JICSLP-1998-MalesiuexRB #compilation #prolog
Abstract Compilation of λ-Prolog (FM, OR, PB), pp. 130–144.
ILPS-1997-JussienB #constraints #maintenance
Best-First Search for Property Maintenance in Reactive Constraint Systems (NJ, PB), pp. 339–353.
ILPS-1993-BoizumaultDP #problem #using
Solving a real life exams problem using CHIP (PB, YD, LP), p. 661.
ESOP-1986-Boizumault #implementation #prolog
A Classical Implementation for Prolog-II (PB), pp. 262–273.
ICLP-1986-Boizumault86
A General Model to Implement DIF and FREEZE (PB), pp. 585–592.

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.