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 × France
1 × Italy
1 × Portugal
Collaborated with:
M.Pavlova M.Huisman A.Requet J.Lanet
Talks about:
java (3) bytecod (2) specif (2) preliminari (1) interfac (1) behavior (1) approach (1) languag (1) develop (1) correct (1)

Person: Lilian Burdy

DBLP DBLP: Burdy:Lilian

Contributed to:

FASE 20072007
SAC 20062006
FME 20032003

Wrote 3 papers:

FASE-2007-BurdyHP #behaviour #bytecode #design #interface #java #specification
Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode (LB, MH, MP), pp. 215–229.
SAC-2006-BurdyP #bytecode #java #specification #verification
Java bytecode specification and verification (LB, MP), pp. 1835–1839.
FME-2003-BurdyRL #approach #correctness #developer #java
Java Applet Correctness: A Developer-Oriented Approach (LB, AR, JLL), pp. 422–439.

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.