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 × Australia
1 × France
1 × Germany
1 × Portugal
Collaborated with:
L.Burdy G.Barthe B.Grégoire M.Huisman G.Schneider
Talks about:
java (4) bytecod (2) specif (2) preliminari (1) interfac (1) consumpt (1) behavior (1) virtual (1) program (1) preserv (1)

Person: Mariela Pavlova

DBLP DBLP: Pavlova:Mariela

Contributed to:

IJCAR 20082008
FASE 20072007
SAC 20062006
SEFM 20052005

Wrote 4 papers:

IJCAR-2008-BartheGP #java #proving #virtual machine
Preservation of Proof Obligations from Java to the Java Virtual Machine (GB, BG, MP), pp. 83–99.
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.
SEFM-2005-BarthePS #analysis #logic #memory management #precise #using
Precise Analysis of Memory Consumption using Program Logics (GB, MP, GS), pp. 86–95.

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.