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 × Denmark
1 × France
4 × USA
Collaborated with:
P.Deransart A.Lallouet B.Malfon M.Téguia
Talks about:
program (6) logic (4) correct (3) partial (2) prolog (2) normal (2) method (2) domain (2) proof (2) character (1)

Person: Gérard Ferrand

DBLP DBLP: Ferrand:G=eacute=rard

Contributed to:

ICLP 20022002
ILPS 19951995
JICSLP 19921992
ICLP 19911991
ILPS 19911991
SLP 19871987

Wrote 7 papers:

ICLP-2002-FerrandL #approximate #finite #logic programming #reduction
A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs (GF, AL), pp. 478–479.
ILPS-1995-FerrandL #composition #correctness #logic programming #proving #source code
A Compositional Proof Method of Partial Correctness for Normal Logic Programs (GF, AL), pp. 209–223.
ILPS-1995-MalfonF #approach #semantics #source code
Type Correct programs: A semantic approach (BM, GF), pp. 576–590.
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-Ferrand #concept #logic programming #prolog
Basic Concepts of Logic Programming and Prolog (GF), p. 942.
ISLP-1991-DeransartFT #source code
NSTO Programs (Not Subject to Occur-Check) (PD, GF, MT), pp. 533–547.
SLP-1987-DeransartF87 #prolog
An Operational Formal Definition of PROLOG (PD, GF), pp. 162–172.

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.