|
197
|
Encapsulation and Inheritance in Object-Oriented Programming Languages
– Alan Snyder
- 1986
|
|
2
|
Investigating type-certifying compilation with Isabelle
– Martin Strecker
- 2002
|
|
18
|
Analyzing Java in Isabelle/HOL, Formalization, Type Safety, and Hoare Logic
– David von Oheimb
- 2000
|
|
15
|
Verified Java Bytecode Verification
– Gerwin Klein, Technische Universität München, Gerwin Klein, Univ. -prof Dr, Alois Knoll, Eidgenössische Technische Hochschule
- 2003
|
|
585
|
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
– T Nipkow, L C Paulson, M Wenzel
- 2002
|
|
172
|
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
|
|
41
|
Executing higher order logic
– Stefan Berghofer, Tobias Nipkow, Technische Universität München
- 2002
|
|
24
|
Formal Verification of a Java Compiler in Isabelle
– Martin Strecker, Fakultät Für Informatik, Technische Universität München
- 2002
|
|
3
|
Protection in Programming Language Translation
– M Abadi
- 1998
|
|
2
|
UML Distilled Second Edition
– M Flower, Scott
- 2001
|
|
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
|
|
22
|
The Amsterdam Manifesto on OCL
– Steve Cook, Richard Mitchell, Bernhard Rumpe, Jos Warmer, Alan Wills, Klasse Objecten, Nl-ct Soest
- 1999
|
|
133
|
Typeful programming
– Luca Cardelli
- 1989
|
|
8
|
Profiles and the J language: Totally control your application development using UML
– UML
- 1999
|
|
70
|
OpenJava: A Class-based Macro System for Java
– Michiaki Tatsubori, Shigeru Chiba, Marc-olivier Killijian, Kozo Itano
- 2000
|
|
1392
|
The C++ Programming Language
– Bjarne Stroustrup
- 1995
|
|
91
|
Java and the Java Virtual Machine - Definition, Verification, Validation
– Robert Stärk, Joachim Schmid, Egon Börger
- 2001
|
|
458
|
Perspectives on Program Analysis
– Flemming Nielson
- 1996
|
