Algebraic Compilation of Safety-Critical Java Bytecode

J. Baxter; A. L. C. Cavalcanti

doi:10.1007/978-3-319-66845-1_11

Algebraic Compilation of Safety-Critical Java Bytecode

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Integrated Formal Methods
Editors	N. Polikarpova, S. Schneider
Publisher	Springer
Pages	161-176
Number of pages	16
DOIs	https://doi.org/10.1007/978-3-319-66845-1_11
Publication status	Published - 1 Sept 2017

Bibliographical note

© Springer International Publishing AG 2017. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

Access to Document

10.1007/978-3-319-66845-1_11

BC17
© Springer International Publishing AG 2017. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.
Accepted author manuscript, 354 KB

Cite this

@inproceedings{169320c4ca46476ca752476d5fb5f70d,

title = "Algebraic Compilation of Safety-Critical Java Bytecode",

author = "J. Baxter and Cavalcanti, {A. L. C.}",

note = "{\textcopyright} Springer International Publishing AG 2017. This is an author-produced version of the published paper. Uploaded in accordance with the publisher{\textquoteright}s self-archiving policy. Further copying may not be permitted; contact the publisher for details.",

year = "2017",

month = sep,

day = "1",

doi = "10.1007/978-3-319-66845-1_11",

language = "English",

pages = "161--176",

editor = "N. Polikarpova and S. Schneider",

booktitle = "Integrated Formal Methods",

publisher = "Springer",

address = "Germany",

}

TY - GEN

T1 - Algebraic Compilation of Safety-Critical Java Bytecode

AU - Baxter, J.

AU - Cavalcanti, A. L. C.

N1 - © Springer International Publishing AG 2017. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

PY - 2017/9/1

Y1 - 2017/9/1

U2 - 10.1007/978-3-319-66845-1_11

DO - 10.1007/978-3-319-66845-1_11

M3 - Conference contribution

SP - 161

EP - 176

BT - Integrated Formal Methods

A2 - Polikarpova, N.

A2 - Schneider, S.

PB - Springer

ER -