Analysing the Java package/access concepts in Isabelle/HOL (2002)

by Norbert Schirmer
Venue:Concurrency and Computation: Practice and Experience
Citations:6 - 1 self

Documents Related by Co-Citation

212 Encapsulation and Inheritance in Object-Oriented Programming Languages – Alan Snyder - 1986
3 Investigating type-certifying compilation with Isabelle – Martin Strecker - 2002
19 Analyzing Java in Isabelle/HOL: Formalization, Type Safety and Hoare Logic – David von Oheimb - 2001
16 Verified Java Bytecode Verification – Gerwin Klein, Technische Universität München, Gerwin Klein, Univ. -prof Dr, Alois Knoll, Eidgenössische Technische Hochschule - 2003
724 M.: Isabelle/HOL - A Proof Assistant for HigherOrder Logic – T Nipkow, L C Paulson, Wenzel - 2002
176 The Java Language Specification, Second Edition – Bill Joy, Technical Advisor, Ken Arnold, James Gosling, James Gosling, Bill Joy, Guy Steele, Gilad Bracha, Tim Lindholm, Frank Yellin, James Gosling, Frank Yellin, The Java Team, Mary Campione, Kathy Walrath, Patrick Chan, Rosanna Lee, Jonni Kanerva, James Gosling, Bill Joy, Guy Steele, Gilad Bracha - 2000
28 Formal Verification of a Java Compiler in Isabelle – Martin Strecker, Fakultät Für Informatik, Technische Universität München - 2002
50 Executing higher order logic – Stefan Berghofer, Tobias Nipkow, Technische Universität München - 2002
2 Lamp : vers un Langage de definition de Mecanismes de Protection pour les langages de programmation a objets – G Ardourel, P Crescenzo, P Lahire - 2003
7 Philippe Lahire: Customisation of Inheritance – Pierre Crescenzo - 2002
3 UML Distilled, Second edition – M Flower - 2000
3 Protection in Programming Language Translations – Martin Abadi - 1998
23 The Amsterdam Manifesto on OCL – Steve Cook, Richard Mitchell, Bernhard Rumpe, Jos Warmer, Alan Wills, Klasse Objecten, Nl-ct Soest - 1999
138 Typeful programming – Luca Cardelli - 1989
9 Profiles and the J language: Totally control your application development using UML – UML - 1999
1492 The C++ Programming Language – Bjarne Stroustrup - 1995
81 OpenJava: A Class-based Macro System for Java – Michiaki Tatsubori, Shigeru Chiba, Marc-olivier Killijian, Kozo Itano - 2000
97 Java and the Java Virtual Machine - Definition, Verification, Validation – Robert Stärk, Joachim Schmid, Egon Börger - 2001
529 Perspectives on Program Analysis – Flemming Nielson - 1996