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 × India
1 × Japan
3 × France
3 × USA
Collaborated with:
G.Ferrand J.Smaus J.Maluszynski L.Langevine M.Ducassé Y.Deville L.Sterling M.Téguia
Talks about:
program (6) logic (5) definit (2) prolog (2) formal (2) proof (2) not (2) oadymppac (1) implement (1) properti (1)

Person: Pierre Deransart

DBLP DBLP: Deransart:Pierre

Facilitated 3 volumes:

PLILP 1990Ed
WAGA 1990Ed
PLILP 1988Ed

Contributed to:

ICLP 20042004
ICLP 20032003
FLOPS 20012001
JICSLP 19921992
ICLP 19911991
ILPS 19911991
PLILP 19881988
SLP 19871987
TAPSOFT, Vol.1: CAAP 19891989

Wrote 10 papers:

Main Results of the OADymPPaC Project (PD), pp. 456–457.
ICLP-2003-LangevineDD #implementation #performance #prolog
A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation (LL, MD, PD), pp. 269–283.
FLOPS-2001-DeransartS #logic programming #source code
Well-Typed Logic Programs Are not Wrong (PD, JGS), pp. 280–295.
JICSLP-1992-FerrandD #correctness #logic programming #proving #source code
Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs (GF, PD), pp. 161–174.
ICLP-1991-DevilleSD #development #logic programming
Software Development and Logic Programming (YD, LS, PD), p. 941.
ISLP-1991-DeransartFT #source code
NSTO Programs (Not Subject to Occur-Check) (PD, GF, MT), pp. 533–547.
PLILP-1988-DeransartM #logic programming
A Grammatical View of Logic Programming (PD, JM), pp. 219–251.
SLP-1987-DeransartF87 #prolog
An Operational Formal Definition of PROLOG (PD, GF), pp. 162–172.
CAAP-1989-Deransart #declarative #logic programming #proving #source code
Proofs of Declarative Properties of Logic Programs (PD), pp. 207–226.

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.