-
1
-
-
0038688046
-
The origins and the development of the ASM method for high level system design and analysis
-
Börger, E.: The origins and the development of the ASM method for high level system design and analysis, J. Universal Computer Science 8(1) (2002), 2-74.
-
(2002)
J. Universal Computer Science
, vol.8
, Issue.1
, pp. 2-74
-
-
Börger, E.1
-
3
-
-
17144374942
-
A certifying compiler for Java
-
Colby, C., Lee, P., Necula, G. C., Blau, F., Plesko, M. and Cline, K.: A certifying compiler for Java, in SIGPLAN Conference on Programming Language Design and Implementation, 2000, pp. 95-107.
-
SIGPLAN Conference on Programming Language Design and Implementation, 2000
, pp. 95-107
-
-
Colby, C.1
Lee, P.2
Necula, G.C.3
Blau, F.4
Plesko, M.5
Cline, K.6
-
5
-
-
0003518498
-
-
Addison-Wesley
-
Gosling, J., Joy, B., Steele, G. and Bracha, G.: The Java™ Language Specification, 2nd edn, Addison-Wesley, 2000.
-
(2000)
The Java™ Language Specification, 2nd Edn
-
-
Gosling, J.1
Joy, B.2
Steele, G.3
Bracha, G.4
-
6
-
-
0002017107
-
Evolving algebras 1993: Lipari guide
-
in E. Börger (ed.); Oxford University Press
-
Gurevich, Y.: Evolving algebras 1993: Lipari guide, in E. Börger (ed.), Specification and Validation Methods, Oxford University Press, 1993, pp. 9-36.
-
(1993)
Specification and Validation Methods
, pp. 9-36
-
-
Gurevich, Y.1
-
7
-
-
0042714949
-
JustIce: An implementation of a free class file verifier for Java
-
Technical Report, Institut für Informatik, Freie Universität Berlin
-
Haase, E.: JustIce: An implementation of a free class file verifier for Java, Technical Report, Institut für Informatik, Freie Universität Berlin, 2001, http://bcel.sourceforge.net/justice/.
-
(2001)
-
-
Haase, E.1
-
8
-
-
0042715133
-
A framework for bytecode verifiers: Application to intra-procedural continuations
-
Technical Report, Inria Sophia-Antipolis
-
Henrio, L. and Serpette, B.: A framework for bytecode verifiers: application to intra-procedural continuations, Technical Report, Inria Sophia-Antipolis, 2001.
-
(2001)
-
-
Henrio, L.1
Serpette, B.2
-
9
-
-
26744460962
-
Verified bytecode verification and type-certifying compilation
-
Technical Report, Technical University Munich
-
Klein, G. and Strecker, M.: Verified bytecode verification and type-certifying compilation, Technical Report, Technical University Munich, 2002.
-
(2002)
-
-
Klein, G.1
Strecker, M.2
-
10
-
-
84937425434
-
On-card bytecode verification for Java Card
-
in I. Attali and T. Jensen (eds.)
-
Leroy, X.: On-card bytecode verification for Java Card, in I. Attali and T. Jensen (eds.), Smart Card Programming and Security (E-smart 2001), 2001, pp. 150-164.
-
(2001)
Smart Card Programming and Security (E-smart 2001)
, pp. 150-164
-
-
Leroy, X.1
-
13
-
-
0001362437
-
Standard fixpoint iteration for Java bytecode verification
-
Qian, Z.: Standard fixpoint iteration for Java bytecode verification, ACM Transactions on Programming Languages and Systems 22(4) (2000), 638-672.
-
(2000)
ACM Transactions on Programming Languages and Systems
, vol.22
, Issue.4
, pp. 638-672
-
-
Qian, Z.1
-
14
-
-
1142283564
-
Executing ASM specifications with AsmGofer
-
Schmid, J.: Executing ASM specifications with AsmGofer, Web pages at http://www.tydo.de/AsmGofer, 1999.
-
(1999)
-
-
Schmid, J.1
-
15
-
-
0041713430
-
Kimera: A Java system security architecture
-
Sirer, E., McDirmid, S. and Bershad, B.: Kimera: A Java system security architecture, http://kimera.cas.washington.edu/, 1997.
-
(1997)
-
-
Sirer, E.1
McDirmid, S.2
Bershad, B.3
-
16
-
-
0003539668
-
-
Springer-Verlag
-
Stärk, R. F., Schmid, J. and Börger, E.: Java and the Java Virtual Machine - Definition, Verification, Validation, Springer-Verlag, 2001.
-
(2001)
Java and the Java Virtual Machine - Definition, Verification, Validation
-
-
Stärk, R.F.1
Schmid, J.2
Börger, E.3
-
19
-
-
78650022960
-
Connected, limited device configuration, Specification 1.0
-
Sun Microsystems; Java 2 Platform Micro Edition
-
Sun Microsystems: Connected, limited device configuration, Specification 1.0, Java 2 Platform Micro Edition, 2000.
-
(2000)
-
-
|