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 × Poland
2 × Italy
Collaborated with:
G.Barthe G.Dufay S.M.d.Sousa R.M.Amadio S.Coupet-Grimal S.Dal-Zilio B.P.Serpette
Talks about:
formal (2) java (2) card (2) correspond (1) scenario (1) platform (1) function (1) virtual (1) resourc (1) bytecod (1)

Person: Line Jakubiec

DBLP DBLP: Jakubiec:Line

Contributed to:

CSL 20042004
VMCAI 20022002
ESOP 20012001

Wrote 3 papers:

CSL-2004-AmadioCDJ #bound #bytecode #functional #verification
A Functional Scenario for Bytecode Verification of Resource Bounds (RMA, SCG, SDZ, LJ), pp. 265–279.
VMCAI-2002-BartheDJS #virtual machine
A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines (GB, GD, LJ, SMdS), pp. 32–45.
ESOP-2001-BartheDJSS #execution #framework #platform #semantics
A Formal Executable Semantics of the JavaCard Platform (GB, GD, LJ, BPS, SMdS), pp. 302–319.

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.