-
1
-
-
28044443171
-
-
F. Y. Bannwart and P. Müller. A Logic for Bytecode. In F. Spoto, editor, Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE), 141 of ENTCS, pages 255-273. Elsevier, 2005.
-
F. Y. Bannwart and P. Müller. A Logic for Bytecode. In F. Spoto, editor, Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE), volume 141 of ENTCS, pages 255-273. Elsevier, 2005.
-
-
-
-
2
-
-
33749870194
-
Certificate Translation for Optimizing Compilers
-
13th International Static Analysis Symposium SAS, Seoul, Korea, August, Springer-Verlag
-
G. Barthe, B. Grégoire, C. Kunz, and T. Rezk. Certificate Translation for Optimizing Compilers. In 13th International Static Analysis Symposium (SAS), LNCS, Seoul, Korea, August 2006. Springer-Verlag.
-
(2006)
LNCS
-
-
Barthe, G.1
Grégoire, B.2
Kunz, C.3
Rezk, T.4
-
3
-
-
33745662871
-
Proof obligations preserving compilation
-
Newcastle, UK
-
G. Barthe, T. Rezk, and A. Saabas. Proof obligations preserving compilation. In Third International Workshop on Formal Aspects in Security and Trust, Newcastle, UK, pages 112-126, 2005.
-
(2005)
Third International Workshop on Formal Aspects in Security and Trust
, pp. 112-126
-
-
Barthe, G.1
Rezk, T.2
Saabas, A.3
-
5
-
-
18744375895
-
Verification of Compilers
-
Springer-Verlag
-
G. Goos and W. Zimmermann. Verification of Compilers. LNCS, pages 201-230. Springer-Verlag, 2005.
-
(2005)
LNCS
, pp. 201-230
-
-
Goos, G.1
Zimmermann, W.2
-
6
-
-
23944503050
-
Modular Specification and Verification of Object-Oriented Programs
-
of, Springer-Verlag
-
P. Müller. Modular Specification and Verification of Object-Oriented Programs, volume 2262 of LNCS. Springer-Verlag, 2002.
-
(2002)
LNCS
, vol.2262
-
-
Müller, P.1
-
7
-
-
38849114386
-
Proof-Transforming Compilation of Programs with Abrupt Termination
-
Technical Report 565, ETH Zurich
-
P. Müller and M. Nordio. Proof-Transforming Compilation of Programs with Abrupt Termination. Technical Report 565, ETH Zurich, 2007.
-
(2007)
-
-
Müller, P.1
Nordio, M.2
-
8
-
-
0004118855
-
-
PhD thesis, School of Computer Science, Carnegie Mellon University
-
G. Necula. Compiling with Proofs. PhD thesis, School of Computer Science, Carnegie Mellon University, 1998.
-
(1998)
Compiling with Proofs
-
-
Necula, G.1
-
11
-
-
18544379014
-
Towards Proof Generating Compilers
-
A. Poetzsch-Heffter and M. J. Gawkowski. Towards Proof Generating Compilers. ENTCS, 132(1):37-51, 2005.
-
(2005)
ENTCS
, vol.132
, Issue.1
, pp. 37-51
-
-
Poetzsch-Heffter, A.1
Gawkowski, M.J.2
-
12
-
-
84957884995
-
A Programming Logic for Sequential Java
-
S. D. Swierstra, editor, European Symposium on Programming Languages and Systems ESOP'99, of, Springer-Verlag
-
A. Poetzsch-Heffter and P. Müller. A Programming Logic for Sequential Java. In S. D. Swierstra, editor, European Symposium on Programming Languages and Systems (ESOP'99), volume 1576 of LNCS, pages 162-176. Springer-Verlag, 1999.
-
(1999)
LNCS
, vol.1576
, pp. 162-176
-
-
Poetzsch-Heffter, A.1
Müller, P.2
-
13
-
-
38849115800
-
Soundness and Relative Completeness of a Programming Logic for a Sequential Java Subset
-
Technical report, Technische Universität Kaiserlautern, 2004
-
A. Poetzsch-Heffter and N. Rauch. Soundness and Relative Completeness of a Programming Logic for a Sequential Java Subset. Technical report, Technische Universität Kaiserlautern, 2004.
-
-
-
Poetzsch-Heffter, A.1
Rauch, N.2
|