An extension of dynamic logic for modelling OCL's @pre operator

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2244 LNCS, Issue , 2001, Pages 47-54

  Baar, Thomas ^a   Beckert, Bernhard ^a   Schmitt, Peter H ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

OBJECT ORIENTED PROGRAMMING; COMPUTATIONAL LINGUISTICS;

ARRAY VARIABLES; DYNAMIC LOGIC; FIRST ORDER; FUNCTION SYMBOLS; NEW FUNCTIONS; OBJECT ATTRIBUTES; OBJECT CONSTRAINT LANGUAGE; PROGRAM EXECUTION;

COMPUTER CIRCUITS; INFORMATION SCIENCE;

EID: 84891457578     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45575-2_7     Document Type: Conference Paper

References (11)

1. W. Ahrendt, T. Baar, B. Beckert, M. Giese, E. Habermalz, R. Hahnle, W. Menzel, and P. H. Schmitt. The KeY approach: Integrating object oriented design and formal verification. In M. Ojeda-Aciego, I. P. de Guzman, G. Brewka, and L. M. Pereira, editors, Proceedings, Logics in Artificial Intelligence (JELIA), Malaga, Spain, LNCS 1919. Springer, 2000.
2. K. R. Apt. Ten years of Hoare logic: A survey - part I. ACM Transactions on Programming Languages and Systems, 1981.
3. T. Baar, B. Beckert, and P. H. Schmitt. An extension of Dynamic Logic for modelling OCL's @pre operator. TR 7/2001, University of Karlsruhe, Department of Computer Science, 2001.
4. B. Beckert. A Dynamic Logic for the formal verification of Java Card programs. In Java on Smart Cards:Pr ogramming and Security. Revised Papers, Java Card 2000, Cannes, France, LNCS 2041, pages 6-24. Springer, 2001.
5. D. Distefano, J.-P. Katoen, and A. Rensink. Towards model checking OCL. In Proceedings, ECOOP Workshop on Defining a Precise Semantics for UML, 2000.
6. A. Hamie, J. Howse, and S. Kent. Interpreting the Object Constraint Language. In Proceedings, Asia Pacific Conference in Software Engineering. IEEE Press, 1998.
7. D. Harel. Dynamic Logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, Volume II:Extensions of Classical Logic. Reidel, 1984.
8. D. Harel, D. Kozen, and J. Tiuryn. Dynamic Logic. MIT Press, 2000.
9. D. Kozen and J. Tiuryn. Logic of programs. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, chapter 14, pages 89-133. Elsevier, 1990.
10. V. R. Pratt. Semantical considerations on Floyd-Hoare logic. In Proceedings, 18th Annual IEEE Symposium on Foundation of Computer Science, 1977.
11. Rational Software Corp. et al. Unified Modelling Language Semantics, version 1.3, June 1999. Available at: www.rational.com/uml/index.jtmpl.