Formal techniques for java-like programs

Authors:
Davide Ancona;Sophia Drossopoulou;Atsushi Igarashi;Gary T. Leavens;Arnd Poetzsch-Heffter;Elena Zucca
Affiliations:
-;-;-;-;-;-
Venue:
ECOOP'06 Proceedings of the 2006 conference on Object-oriented technology: ECOOP 2006 workshop reader
Year:
2006

Citing 5
Cited 0

Formal underpinnings of Java

Addendum to the 1998 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
Formal Techniques for Java Programs

Proceedings of the Workshop 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 (FTfJP)

ECOOP'04 Proceedings of the 2004 international conference on Object-Oriented Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

This report gives an overview of the eighth ECOOP Workshop on Formal Techniques for Java-like Programs. It summarizes the workshop preparation, contributions, debates and conclusions.