-
3
-
-
28044469754
-
Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers)
-
1611-2776
-
Glesner S., Goos G., and Zimmermann W. Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers). it - Information Technology, 1611-2776 46 (2004) 265-276
-
(2004)
it - Information Technology
, vol.46
, pp. 265-276
-
-
Glesner, S.1
Goos, G.2
Zimmermann, W.3
-
4
-
-
35248887130
-
ASMs versus Natural Semantics: A Comparison with New Insights
-
Abstract State Machines - Advances in Theory and Applications, Proc. 10th Int'l Workshop. ASM 2003, Springer
-
Glesner S. ASMs versus Natural Semantics: A Comparison with New Insights. Abstract State Machines - Advances in Theory and Applications, Proc. 10th Int'l Workshop. ASM 2003. LNCS Vol. 2589 (2003), Springer
-
(2003)
LNCS
, vol.2589
-
-
Glesner, S.1
-
5
-
-
34447562228
-
A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics
-
Proc. Workshop Compiler Optimization meets Compiler Verification (COCV 2004) Elsevier
-
Glesner S. A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics. Proc. Workshop Compiler Optimization meets Compiler Verification (COCV 2004). Electronic Notes in Theoretical Computer Science (ENTCS) (2004) Elsevier
-
(2004)
Electronic Notes in Theoretical Computer Science (ENTCS)
-
-
Glesner, S.1
-
6
-
-
0002017107
-
Evolving Algebras 1993: Lipari Guide
-
Oxford University Press
-
Gurevich Y. Evolving Algebras 1993: Lipari Guide. Specification and Validation Methods (1995), Oxford University Press 231-243
-
(1995)
Specification and Validation Methods
, pp. 231-243
-
-
Gurevich, Y.1
-
7
-
-
84947742394
-
Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools
-
Progr. Lang. and Systems - ESOP'98, Springer
-
Hensel U., Huisman M., Jacobs B., and Tews H. Reasoning about Classes in Object-Oriented Languages: Logical Models and Tools. Progr. Lang. and Systems - ESOP'98. LNCS Vol. 1381 (1998), Springer
-
(1998)
LNCS
, vol.1381
-
-
Hensel, U.1
Huisman, M.2
Jacobs, B.3
Tews, H.4
-
8
-
-
47249160597
-
-
Michael Hohmuth, Shane G. Stephens, and Hendrik Tews. Applying source-code verification to a microkernel - The VFiasco project. In Proceedings of the 10th SIGOPS European Workshop, 2002
-
-
-
-
9
-
-
34447565534
-
-
Marieke Huisman. Reasoning about Java programs in higher order logic using PVS and Isabelle. Ph thesis, University of Nijmegen, 2001
-
-
-
-
10
-
-
0000892681
-
A Tutorial on (Co)Algebras and (Co)Induction
-
Jacobs B., and Rutten J. A Tutorial on (Co)Algebras and (Co)Induction. EATCS Bulletin 67 (1997) 222-259
-
(1997)
EATCS Bulletin
, vol.67
, pp. 222-259
-
-
Jacobs, B.1
Rutten, J.2
-
12
-
-
34447546229
-
-
Johannes Leitner. Coalgebraic Methods in the Verification of Optimizing Program Transformations Using Theorem Provers. Minor Thesis (Studienarbeit), University of Karlsruhe, 2005
-
-
-
-
13
-
-
0003954103
-
-
Prentice Hall International (UK) Ltd., Hertfordshire, UK
-
Milner R. Communication and concurrency (1995), Prentice Hall International (UK) Ltd., Hertfordshire, UK
-
(1995)
Communication and concurrency
-
-
Milner, R.1
-
14
-
-
0024882264
-
A Mechanically Verified Language Implementation
-
Strother Moore J. A Mechanically Verified Language Implementation. Journal of Automated Reasoning 5 4 (1989) 461-492
-
(1989)
Journal of Automated Reasoning
, vol.5
, Issue.4
, pp. 461-492
-
-
Strother Moore, J.1
-
15
-
-
0348126394
-
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
-
Springer
-
Nipkow T., Paulson L.C., and Wenzel M. Isabelle/HOL: A Proof Assistant for Higher-Order Logic. LNCS Vol. 2283 (2002), Springer
-
(2002)
LNCS
, vol.2283
-
-
Nipkow, T.1
Paulson, L.C.2
Wenzel, M.3
-
18
-
-
34447567849
-
-
Gordon D. Plotkin. A structural approach to operational semantics. Report DAIMI FN-19, Comp. Sc. Department, Aarhus University, Denmark, 1981
-
-
-
-
19
-
-
0003254713
-
The Coalgebraic Class Specification Language CCSL
-
Rothe J., Tews H., and Jacobs B. The Coalgebraic Class Specification Language CCSL. J. Univ. Comp. Sc. (J. UCS) 7 2 (2001) 175-193
-
(2001)
J. Univ. Comp. Sc. (J. UCS)
, vol.7
, Issue.2
, pp. 175-193
-
-
Rothe, J.1
Tews, H.2
Jacobs, B.3
-
20
-
-
34447575309
-
-
Markus Wenzel. Isabelle/Isar - A Versatile Environment for Human-Readable Formal Proof Documents. PhD thesis, Institut für Informatik, Technische Universität München, 2002
-
-
-
|