Ensuring Correctness of Java Frameworks: A Formal Look at JCF (1999)

by Anna Mikhajlova , Emil Sekerinski
Citations:1 - 0 self

Active Bibliography

41 A Study of The Fragile Base Class Problem – Leonid Mikhajlov, Emil Sekerinski - 1998
14 Class Refinement as Semantics of Correct Object Substitutability – Ralph-Johan Back, Anna Mikhajlova, Joakim Von Wright
8 The fragile base class problem and its solution – Leonid Mikhajlov, Emil Sekerinski - 1997
36 The Greybox Approach: When Blackbox Specifications Hide Too Much – Martin Büchi, Wolfgang Weck - 1999
3 Formal Semantics of Inheritance and Object Substitutability – Ralph Back, Leonid Mikhajlov, Joakim Von Wright - 2000
9 Developing Components in the Presence of Re-entrance – Leonid Mikhajlov, Emil Sekerinski, Linas Laibinis - 1999
12 Fusion and Simultaneous Execution in the Refinement Calculus – Ralph-johan Back, Michael Butler - 1997
6 Class Refinement as Semantics of Correct Subclassing – Ralph Back, Anna Mikhajlova, Joakim Von Wright - 1997
1 Contracts as Mathematical Entities in Programming Logic – Ralph-johan Back, Joakim Von Wright - 1999
12 From Kleene Algebra to Refinement Algebra – Joakim von Wright - 2002
55 Refinement Calculus, Part I: Sequential Nondeterministic Programs – R. J. R. Back, J. von Wright - 1989
71 How the design of JML accommodates both runtime assertion checking and formal verification – Gary T. Leavens, Yoonsik Cheon, Curtis Clifton, Clyde Ruby, David R. Cok - 2003
Patterns for Refinement Automation – A. Iliasov, E. Troubitsyna, L. Laibinis, A. Romanovsky - 2008
14 Behavioral subtyping, specification inheritance, and modular reasoning – Gary T. Leavens, David A. Naumann
Implementing JML Contracts with AspectJ – Henrique Emanuel Mostaert Rebêlo - 2008
16 The Early Search for Tractable Ways of Reasoning About Programs – C. B. Jones - 2003
5 rCOS: A refinement calculus of object systems � – He Jifeng A, Xiaoshan Li B, Zhiming Liu C
8 Statement inversion and strongest postcondition – R. J. R. Back, J. Wright - 1993
10 Contracts, Games and Refinement – Ralph-Johan Back, Joakim Von Wright - 1997