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 × Sweden
Collaborated with:
P.Fradet D.L.Métayer
Talks about:
axiomatis (1) algorithm (1) pointer (1) static (1) detect (1) error (1) check (1)

Person: Ronan Caugne

DBLP DBLP: Caugne:Ronan

Contributed to:

ESOP 19961996

Wrote 1 papers:

ESOP-1996-FradetCM #algorithm #axiom #detection #fault #pointer #static analysis
Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm (PF, RC, DLM), pp. 125–140.

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.