-
1
-
-
84957031289
-
A logic of object-oriented programs
-
Michel Bidoit and Max Dauchet, editors, volume 1214 of Lecture Notes in Computer Science, Springer-Verlag
-
M. Abadi and K.R.M. Leino. A logic of object-oriented programs. In Michel Bidoit and Max Dauchet, editors, Theory and Practice of Software Development: Proceedings/TAPSOFT’97, 7th International Joint Conference CAAP/FASE, volume 1214 of Lecture Notes in Computer Science, pages 682-696. Springer-Verlag, 1997.
-
(1997)
Theory and Practice of Software Development: Proceedings/TAPSOFT’97, 7Th International Joint Conference CAAP/FASE
, pp. 682-696
-
-
Abadi, M.1
Leino, K.2
-
2
-
-
0038650507
-
-
editor, volume 1523 of Lect. Notes Comp. Sci. Springer, Berlin
-
J. Alves-Foss, editor. Formal Syntax and Semantics of Java, volume 1523 of Lect. Notes Comp. Sci. Springer, Berlin, 1999.
-
(1999)
Formal Syntax and Semantics of Java
-
-
Alves-Foss, J.1
-
3
-
-
84976766710
-
Ten Years of Hoare’s Logic: A Survey - Part I
-
K.R. Apt. Ten Years of Hoare’s Logic: A Survey - Part I. TOPLAS, 3(4):431-483, 1981.
-
(1981)
TOPLAS
, vol.3
, Issue.4
, pp. 431-483
-
-
Apt, K.R.1
-
5
-
-
84893066813
-
Correct realizations of interface constraints with OCL
-
Fort Collins, USA, volume 1723 of Lecture Notes in Computer Science. Springer-Verlag
-
M. Bidoit, R. Hennicker, F. Tort, and M. Wirsing. Correct realizations of interface constraints with OCL. In UML’99, The Unified Modeling Language - Beyond the Standard, Fort Collins, USA, volume 1723 of Lecture Notes in Computer Science. Springer-Verlag,1999.
-
(1999)
UML’99, the Unified Modeling Language - Beyond the Standard
-
-
Bid, M.1
Oithennicker, R.2
Tort, F.3
Wirsing, M.4
-
8
-
-
84947919477
-
From Sequential to MultiThreaded Java: An Event-Based Operational Semantics
-
M. Johnson, editor, volume 1349 of Lect. Notes Comp. Sci, Berlin, Springer
-
P. Cenciarelli, A. Knapp, B. Reus, and M. Wirsing. From Sequential to MultiThreaded Java: An Event-Based Operational Semantics. In M. Johnson, editor, Proc. 6th Int. Conf. Algebraic Methodology and Software Technology, volume 1349 of Lect. Notes Comp. Sci., pages 75-90, Berlin, 1997. Springer.
-
(1997)
Proc. 6Th Int. Conf. Algebraic Methodology and Software Technology
, pp. 75-90
-
-
Cenciarelli, P.1
Knapp, A.2
Reus, B.3
Wirsing, M.4
-
10
-
-
84937694070
-
A WP-calculus for OO
-
W. Thomas, editor, volume 1578 of Lecture Notes in Computer Science. Springer-Verlag
-
F.S. de Boer.A WP-calculus for OO. In W. Thomas, editor, Foundations of Software Science and Computations Structures, volume 1578 of Lecture Notes in Computer Science. Springer-Verlag, 1999.
-
(1999)
Foundations of Software Science and Computations Structures
-
-
De Boer, F.S.1
-
11
-
-
0003854752
-
-
Addison-Wesley, Reading, Mass., etc
-
D. D’Souza and A.C. Wills. Objects, components and frameworks with UML: the Catalysis approach. Addison-Wesley, Reading, Mass., etc., 1998.
-
(1998)
Objects, Components and Frameworks with UML: The Catalysis Approach
-
-
D’Souza, D.1
Wills, A.C.2
-
12
-
-
0003518498
-
-
Addison-Wesley, Reading, Mass
-
James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. Addison-Wesley, Reading, Mass., 1996.
-
(1996)
The Java Language Specification
-
-
Gosling, J.1
Joy, B.2
Steele, G.3
-
13
-
-
84945708698
-
An axiomatic basis for computer programming
-
C.A.R. Hoare. An axiomatic basis for computer programming. Comm. ACM, 12:576-583,1969.
-
(1969)
Comm. ACM
, vol.12
, pp. 576-583
-
-
Hoare, C.1
-
14
-
-
84885236249
-
JML: Notations and tools supporting detailed design in Java
-
ACM SIGPLAN Notices
-
Gary T. Leavens, K. Rustan, M. Leino, Erik Poll, Clyde Ruby, and Bart Jacobs. JML: notations and tools supporting detailed design in Java. In Object Oriented Programming: Systems, Languages and Applications (OOPSLA), volume 35, pages 208-228. ACM SIGPLAN Notices, 2000.
-
(2000)
Object Oriented Programming: Systems, Languages and Applications (OOPSLA)
, vol.35
, pp. 208-228
-
-
Leavens, G.T.1
Rustan, K.2
Leino, M.3
Poll, E.4
Ruby, C.5
Jacobs, B.6
-
19
-
-
84957884995
-
A programming logic for sequential Java
-
S. D. Swierstra, editor, ESOP), Lecture Notes in Computer Science. Springer-Verlag
-
A. Poetzsch-Heffter and P. Muller. A programming logic for sequential Java. In S. D. Swierstra, editor, European Symposium on Programming (ESOP), Lecture Notes in Computer Science. Springer-Verlag, 1999.
-
(1999)
European Symposium on Programming
-
-
Poetzsch-Heffter, A.1
Muller, P.2
-
21
-
-
0003547470
-
-
Reading, Mass., etc
-
J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesely, Reading, Mass., etc., 1998.
-
(1998)
The Unified Modeling Language Reference Manual. Addison-Wesely
-
-
Rumbaugh, J.1
Jacobson, I.2
Booch, G.3
-
22
-
-
84958747541
-
Hoare logic for mutual recursion and local variables
-
V. Raman C. Pandu Rangan and R. Ramanujam, editors, volume 1738 of LNCS, Springer
-
D. von Oheimb. Hoare logic for mutual recursion and local variables. In V. Raman C. Pandu Rangan and R. Ramanujam, editors, Found. of Software Techn. and, Theoret. Comp. Sci., volume 1738 of LNCS, pages 168-180. Springer, 1999.
-
(1999)
Found. Of Software Techn. And, Theoret. Comp. Sci
, pp. 168-180
-
-
von Oheimb, D.1
|