Abstract
This report gives an overview of the third ECOOP Workshop on Formal Techniques for Java Programs. It explau]ns the motivation for such a workshop and summarizes the presentations and discussions.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
D. Ancona, G. Lagorio, and E. Zucca. Java separate type checking is not safe. Available in [DEL+01], 2001.
P. Boury and N. Elkhadi. Static analysis of Java cryptographic applets. Available in [DEL+01], 2001.
G. Barthe, D. Gurov, and M. Huisman. Compositional specification and verification of control flow based security properties of multi-application programs. Available in [DEL+01], 2001.
J. Boyland. The interdependence of effects and uniqueness. Available in [DEL+01], 2001.
M. Carbone, M. Coccia, G. Ferrari, and S. Maffeis. Process algebra-guided design of Java mobile network applications. Available in [DEL+01], 2001.
A. Cavalcanti and D. Naumann. Class refinement for sequential Java. Available in [DEL+01], 2001.
A. Coglio. Improving the official specification of Java bytecode verification. Available in [DEL+01], 2001.
A. Coglio. Java bytecode verification: A complete formalization. Technical report, Kestrel Institute, Palo Alto, 2001. Forthcoming at www. kestrel. edu/ java
S. Drossopoulou, S. Eisenbach, B. Jacobs, G. T. Leavens, P. Müller, and A. Poetzsch-Heffter. Formal techniques for Java programs. In Jacques Malenfant, Sabine Moisan, and Ana Moreira, editors, Object-Oriented Technology. ECOOP 2000 Workshop Reader, volume 1964 of Lecture Notes in Computer Science, pages 41–54. Springer-Verlag, 2000.
S. Drossopoulou, S. Eisenbach, B. Jacobs, G. T. Leavens, P. Müller, and A. Poetzsch-Heffter, editors. Formal Techniques for Java Programs. Technical Report 269, Fernuniversität Hagen, 2000. Available from http://www.informatik.fernuni-hagen.de/pi5/publications.html.
S. Drossopoulou, S. Eisenbach, G. T. Leavens, P. Müller, A. Poetzsch-Heffter, and E. Poll. Formal techniques for Java programs. Available from http://www.informatik.fernuni-hagen.de/import/pi5/workshops/ecoop2001_papers.html , 2001.
S. Eisenbach. Formal underpinnings of Java. Workshop report, 1998. Available from http://www-dse.doc.ic.ac.uk/~sue/oopsla/cfp.html.
K. Huizing and R. Kuiper. Reinforcing fragile base classes. Available in [DEL+01], 2001.
M. Hennessy and J. Riely. Type-safe execution of mobile agents in anonymous networks. In Jan Vitek and Thomas Jensen, editors, Secure Internet Programming: Security Issues for Distributed and Mobile Objects, volume 1603 of Lecture Notes in Computer Science. Springer-Verlag, 1999.
A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java, a minimal core calculus for Java and GJ. OOPSLA’ 99 Conference Proceedings, pages 132–146, October 1999.
B. Jacobs, G. T. Leavens, P. Müller, and A. Poetzsch-Heffter. Formal techniques for Java programs. In A. Moreira and D. Demeyer, editors, Object-Oriented Technology. ECOOP’99 Workshop Reader, volume 1743 of Lecture Notes in Computer Science. Springer-Verlag, 1999.
P. Küngas, V Kotkas, and Enn Tyugu. Introducing meta-interfaces into Java. Available in [DEL+01], 2001.
G. T. Leavens, A. L. Baker, and C. Ruby. Preliminary design of JML: A behavioral interface specification language for Java. Technical Report 98-06p, Iowa State University, Department of Computer Science, August 2001. See http://www.cs.iastate.edu/~leavens/JML.html.
K. R. M. Leino. Toward Reliable Modular Programs. PhD thesis, California Institute of Technology, 1995. Available as Technical Report Caltech-CS-TR-95-03.
C. Morgan. Programming from Specifications. Prentice Hall International, Hempstead, UK, 1990.
P. Müller and A. Poetzsch-Heffter. A type system for controlling representation exposure in Java. Published in [DEJ+00b], 2000.
P. Müller and A. Poetzsch-Heffter. A type system for checking applet isolation in Java Card. Available in [DEL+01], 2001.
P. Müller, A. Poetzsch-Heffter, and G. T. Leavens. Modular specification of frame properties in JML. Available in [DEL+01], 2001.
L. Mikhajlov and E. Sekerinski. A study of the fragile base class problem. In Eric Jul, editor, ECOOP’ 98 — Object-Oriented Programming, 12th European Conference, Brussels, Proceedings, volume 1445 of Lecture Notes in Computer Science, pages 355–382. Springer-Verlag, July 1998.
P. Müller. Modular Specification and Verification of Object-Oriented Programs. PhD thesis, FernUniversität Hagen, 2001.
C. Pahl. Formalising dynamic composition and evolution in Java systems. Available in [DEL+01], 2001.
M. Skoglund and T. Wrigstad. A mode system for read-only references in Java. Available in [DEL+01], 2001.
J. van den Berg, C.-B. Breunesse, B. Jacobs, and E. Poll. On the role of invariants in reasoning about object-oriented languages. Available in [DEL+01], 2001.
M. Viroli. From FGJ to Java according to LM translator. Available in [DEL+01], 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Leavens, G.T., Drossopoulou, S., Eisenbach, S., Poetzsch-Heffter, A., Poll, E. (2002). Formal Techniques for Java Programs. In: Frohner, Á. (eds) Object-Oriented Technology. ECOOP 2001. Lecture Notes in Computer Science, vol 2323. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47853-1_3
Download citation
DOI: https://doi.org/10.1007/3-540-47853-1_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43675-1
Online ISBN: 978-3-540-47853-9
eBook Packages: Springer Book Archive