Transformational Derivation of a Bytecode Verifier.
Title | Transformational Derivation of a Bytecode Verifier. |
Publication Type | Journal Article |
Year of Publication | 2000 |
Authors | Dosch, W, Magnussen, S |
Bibtex:
@article {672, title = {Transformational Derivation of a Bytecode Verifier.}, year = {2000}, note = {In: A. Poetzsch-Heffter, J. Meyer (Hrsg): Programmiersprachen und Grundlagen der Programmierung. Kirchhundem-Heinsberg, 26.-30. September 1999. Informatik Berichte 263-1/2000. Hagen: FernUniversit{\"a}t Gesamthochschule Hagen 2000, 149-156}, author = {W. Dosch and Magnussen, S.} }