Formal techniques for java-like programs (FTfJP)

Authors:
Alessandro Coglio;Marieke Huisman;Joseph R. Kiniry;Peter Müller;Erik Poll
Affiliations:
Kestrel Institute;INRIA Sophia-Antipolis, France;Radboud University Nijmegen, The Netherlands;ETH Zürich, Switzerland;Radboud University Nijmegen, The Netherlands
Venue:
ECOOP'04 Proceedings of the 2004 international conference on Object-Oriented Technology
Year:
2004

Citing 3
Cited 1

Ownership types for flexible alias protection

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Dynamically Discovering Likely Program Invariants to Support Program Evolution

IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Houdini, an Annotation Assistant for ESC/Java

FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity

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 sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarises the presentations and discussions.