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 × Austria
1 × France
1 × Germany
1 × Hungary
1 × Italy
1 × Spain
1 × Switzerland
1 × USA
Collaborated with:
A.Paskevich S.Conchon C.Marché P.Letouzey L.Gondelman C.Dross Y.Moy S.Owre H.Rueß N.Shankar
Talks about:
program (3) contain (2) code (2) whi (2) structur (1) platform (1) krakatoa (1) caduceus (1) persist (1) functor (1)

Person: Jean-Christophe Filliâtre

DBLP DBLP: Filli=acirc=tre:Jean=Christophe

Contributed to:

CAV 20142014
CADE 20132013
ESOP 20132013
TAP 20112011
ESOP 20082008
CAV 20072007
ESOP 20042004
CAV 20012001

Wrote 8 papers:

CAV-2014-FilliatreGP
The Spirit of Ghost Code (JCF, LG, AP), pp. 1–16.
CADE-2013-Filliatre #logic
One Logic to Use Them All (JCF), pp. 1–20.
ESOP-2013-FilliatreP #named #proving #source code #why
Why3 — Where Programs Meet Provers (JCF, AP), pp. 125–128.
TAP-2011-DrossFM
Correct Code Containing Containers (CD, JCF, YM), pp. 102–118.
ESOP-2008-ConchonF #data type
Semi-persistent Data Structures (SC, JCF), pp. 322–336.
CAV-2007-FilliatreM #deduction #framework #platform #verification #why
The Why/Krakatoa/Caduceus Platform for Deductive Program Verification (JCF, CM), pp. 173–177.
ESOP-2004-FilliatreL #proving #source code
Functors for Proofs and Programs (JCF, PL), pp. 370–384.
CAV-2001-FilliatreORS #named
ICS: Integrated Canonizer and Solver (JCF, SO, HR, NS), pp. 246–249.

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.