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 × France
1 × USA
Collaborated with:
∅ E.Albert M.Gómez-Zamalloa G.Puebla
Talks about:
bytecod (2) java (2) transform (1) inferenc (1) program (1) analysi (1) verif (1) logic (1) annot (1) null (1)

Person: Laurent Hubert

DBLP DBLP: Hubert:Laurent

Contributed to:

PASTE 20082008
PADL 20072007

Wrote 2 papers:

PASTE-2008-Hubert #bytecode #java
A non-null annotation inferencer for Java bytecode (LH), pp. 36–42.
PADL-2007-AlbertGHP #analysis #bytecode #java #logic programming #source code #using #verification
Verification of Java Bytecode Using Analysis and Transformation of Logic Programs (EA, MGZ, LH, GP), pp. 124–139.
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.