-
1
-
-
0001194064
-
A logic of object-oriented programs
-
M. Bidoit and M. Dauchet, editors. Springer-Verlag
-
M. Abadi and K. R. M. Leino. A logic of object-oriented programs. In M. Bidoit and M. Dauchet, editors, TAPSOFT '97, volume 1214. Springer-Verlag, 1997.
-
(1997)
TAPSOFT '97
, vol.1214
-
-
Abadi, M.1
Leino, K.R.M.2
-
2
-
-
23844547594
-
The KeY tool
-
W. Ahrendt, T. Baar, B. Beckert, R. Bubel, M. Giese, R. Hähnle, W. Menzel, W. Mostowski, A. Roth, S. Schlager, and P. H. Schmitt. The KeY tool, Software and System Modeling, 4:32-54, 2005.
-
(2005)
Software and System Modeling
, vol.4
, pp. 32-54
-
-
Ahrendt, W.1
Baar, T.2
Beckert, B.3
Bubel, R.4
Giese, M.5
Hähnle, R.6
Menzel, W.7
Mostowski, W.8
Roth, A.9
Schlager, S.10
Schmitt, P.H.11
-
4
-
-
26944461050
-
-
G. Barthe, L. Burdy, M. Huisman, J.-L. Lanet, and T. Muntean, editors. CASSIS 2004, Revised Selected Papers. Springer
-
G. Barthe, L. Burdy, M. Huisman, J.-L. Lanet, and T. Muntean, editors. CASSIS 2004, Revised Selected Papers, volume 3362 of LNCS. Springer, 2005.
-
(2005)
LNCS
, vol.3362
-
-
-
5
-
-
84944238972
-
A dynamic logic for the formal verification of Java Card programs
-
I. Attali and T. Jensen, editors, Java on Smart Cards: Programming and Security
-
B. Beckert. A dynamic logic for the formal verification of Java Card programs. In I. Attali and T. Jensen, editors, Java on Smart Cards: Programming and Security, volume 2041 of LNCS, pages 6-24, 2001.
-
(2001)
LNCS
, vol.2041
, pp. 6-24
-
-
Beckert, B.1
-
6
-
-
33749555878
-
A program logic for handling Java Card's transaction mechanism
-
LNCS. Springer
-
B. Beckert and W. Mostowski. A program logic for handling Java Card's transaction mechanism. In FASE'03, LNCS. Springer, 2003.
-
(2003)
FASE'03
-
-
Beckert, B.1
Mostowski, W.2
-
7
-
-
84867765710
-
A sequent calculus for first-order dynamic logic with trace modalities
-
R. Gore, A. Leitsch, and T. Nipkow, editors, IJCAR. Springer
-
B. Beckert and S. Schlager. A sequent calculus for first-order dynamic logic with trace modalities. In R. Gore, A. Leitsch, and T. Nipkow, editors, IJCAR, volume 2083 of LNCS, pages 626-641. Springer, 2001.
-
(2001)
LNCS
, vol.2083
, pp. 626-641
-
-
Beckert, B.1
Schlager, S.2
-
8
-
-
35048814509
-
Software verification with integrated data type refinement for integer arithmetic
-
E. A. Boiten, J. Derrick, and G. Smith, editors, IFM. Springer
-
B. Beckert and S. Schlager. Software verification with integrated data type refinement for integer arithmetic. In E. A. Boiten, J. Derrick, and G. Smith, editors, IFM, volume 2999 of LNCS, pages 207-226. Springer, 2004.
-
(2004)
LNCS
, vol.2999
, pp. 207-226
-
-
Beckert, B.1
Schlager, S.2
-
12
-
-
0012583283
-
Featherweight Java: A minimal core calculus for Java and GJ
-
A. Igarashi, B. C. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst., 23(3):396-450, 2001.
-
(2001)
ACM Trans. Program. Lang. Syst.
, vol.23
, Issue.3
, pp. 396-450
-
-
Igarashi, A.1
Pierce, B.C.2
Wadler, P.3
-
13
-
-
84944224349
-
A logic for the Java modeling language JML
-
London, UK. Springer-Verlag
-
B. Jacobs and E. Poll. A logic for the Java modeling language JML. In FASE '01, pages 284-299, London, UK, 2001. Springer-Verlag.
-
(2001)
FASE '01
, pp. 284-299
-
-
Jacobs, B.1
Poll, E.2
-
14
-
-
84947914225
-
Issues with exception handling in object-oriented systems
-
R. Miller and A. Tripathi. Issues with exception handling in object-oriented systems. In ECOOP, pages 85-103, 1997.
-
(1997)
ECOOP
, pp. 85-103
-
-
Miller, R.1
Tripathi, A.2
-
16
-
-
24644515486
-
Jinja: Towards a comprehensive formal semantics for a Java-like language
-
T. Nipkow. Jinja: Towards a comprehensive formal semantics for a Java-like language. In Proc. Marktoberdorf Summer School, 2003.
-
(2003)
Proc. Marktoberdorf Summer School
-
-
Nipkow, T.1
-
17
-
-
0344981395
-
A syntax-directed Hoare logic for object-oriented programming concepts
-
E. Najm, U. Nestmann, and P. Stevens, editors, FMOODS. Springer
-
C. Pierik and F. S. de Boer. A syntax-directed Hoare logic for object-oriented programming concepts. In E. Najm, U. Nestmann, and P. Stevens, editors, FMOODS, volume 2884 of LNCS, pages 64-78. Springer, 2003.
-
(2003)
LNCS
, vol.2884
, pp. 64-78
-
-
Pierik, C.1
De Boer, F.S.2
-
19
-
-
84957884995
-
A programming logic for sequential Java
-
D. Swierstra, editor, ESOP '99. Springer
-
A. Poetzsch-Heffter and P. Müller. A programming logic for sequential Java. In D. Swierstra, editor, ESOP '99, volume 1576 of LNCS. Springer, 1999.
-
(1999)
LNCS
, vol.1576
-
-
Poetzsch-Heffter, A.1
Müller, P.2
-
20
-
-
33947206686
-
A logic for abstract state machines
-
R. Stärk and S. Nanchen. A logic for abstract state machines. J. UCS, 7(11), 2001.
-
(2001)
J. UCS
, vol.7
, Issue.11
-
-
Stärk, R.1
Nanchen, S.2
-
21
-
-
84947268630
-
A type-theoretic memory model for verification of sequential Java programs
-
D. Bert, C. Choppy, and P. D. Mosses, editors, WADT. Springer
-
J. van den Berg, M. Huisman, B. Jacobs, and E. Poll. A type-theoretic memory model for verification of sequential Java programs. In D. Bert, C. Choppy, and P. D. Mosses, editors, WADT, volume 1827 of LNCS, pages 1-21. Springer, 1999.
-
(1999)
LNCS
, vol.1827
, pp. 1-21
-
-
Van Den Berg, J.1
Huisman, M.2
Jacobs, B.3
Poll, E.4
-
22
-
-
84937406744
-
Hoare logic for NanoJava: Auxiliary variables, side effects, and virtual methods revisited
-
L.-H. Eriksson and P. A. Lindsay, editors, FME. Springer
-
D. von Oheimb and T. Nipkow. Hoare logic for NanoJava: Auxiliary variables, side effects, and virtual methods revisited. In L.-H. Eriksson and P. A. Lindsay, editors, FME, volume 2391 of LNCS, pages 89-105. Springer, 2002.
-
(2002)
LNCS
, vol.2391
, pp. 89-105
-
-
Von Oheimb, D.1
Nipkow, T.2
|