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: Burdy:Lilian
Contributed to:
2007
2006
2003Wrote 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.