no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
Advances in interpreters, virtual machines and emulators
|
Ertl, M. Anton |
|
2005 |
57 |
3 |
p. 251-252 2 p. |
article |
2 |
A portable virtual machine target for proof-carrying code
|
Franz, Michael |
|
2005 |
57 |
3 |
p. 275-294 20 p. |
article |
3 |
Author Index
|
|
|
2005 |
57 |
3 |
p. 379-380 2 p. |
article |
4 |
Editorial Board
|
|
|
2005 |
57 |
3 |
p. CO2- 1 p. |
article |
5 |
Engineering a common intermediate representation for the Ovm framework
|
Palacz, K. |
|
2005 |
57 |
3 |
p. 357-378 22 p. |
article |
6 |
Executable JVM model for analytical reasoning: A study
|
Liu, Hanbing |
|
2005 |
57 |
3 |
p. 253-274 22 p. |
article |
7 |
Generation of fast interpreters for Huffman compressed bytecode
|
Latendresse, Mario |
|
2005 |
57 |
3 |
p. 295-317 23 p. |
article |
8 |
Joeq: A virtual machine and compiler infrastructure
|
Whaley, John |
|
2005 |
57 |
3 |
p. 339-356 18 p. |
article |
9 |
The case for virtual register machines
|
Gregg, David |
|
2005 |
57 |
3 |
p. 319-338 20 p. |
article |