Formal Techniques for Java-like Programs

Authors:
Sophia Drossopoulou;Susan Eisenbach;Gary T. Leavens;Arnd Poetzsch-Heffter;Erik Poll
Affiliations:
-;-;-;-;-
Venue:
ECOOP '02 Proceedings of the Workshops and Posters on Object-Oriented Technology
Year:
2002

Citing 4
Cited 3

Formal Techniques for Java Programs

Proceedings of the Workshop on Object-Oriented Technology
Formal Techniques for Java Programs

ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
Formal Techniques for Java Programs

ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
Formal Techniques for Java-like Programs

ECOOP '02 Proceedings of the Workshops and Posters on Object-Oriented Technology

Formal Techniques for Java-like Programs

ECOOP '02 Proceedings of the Workshops and Posters on Object-Oriented Technology
Formalization of generics for the .NET common language runtime

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal techniques for java-like programs

ECOOP'06 Proceedings of the 2006 conference on Object-oriented technology: ECOOP 2006 workshop reader

Quantified Score

Hi-index	0.00

Visualization

Abstract

This report gives an overview of the fourth ECOOP Workshop on Formal Techniques for Java-like Programs. It explains the motivation for such a workshop and summarizes the presentations and discussions.