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 × Germany
1 × Romania
Collaborated with:
E.Kounalis O.Lecarme O.Ponsini H.Collavizza C.Michel M.Rueher
Talks about:
automat (2) properti (1) invari (1) exampl (1) comput (1) compil (1) verif (1) simpl (1) proof (1) modul (1)

Person: Carine Fédèle

DBLP DBLP: F=eacute=d=egrave=le:Carine

Contributed to:

ICSM 20102010
ASE 19991999
CC 19901990

Wrote 3 papers:

ICSM-2010-PonsiniCFMR #automation #invariant #verification
Automatic verification of loop invariants (OP, HC, CF, CM, MR), pp. 1–5.
ASE-1999-FedeleK #automation #proving
Automatic Proofs of Properties of Simple C-- Modules (CF, EK), pp. 283–286.
CC-1990-FedeleL #compilation
Computer-Aided Building of a Compiler: An Example (CF, OL), pp. 212–214.

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.