Formal Techniques for Java-Like Programs

Albert, Elvira; Banerjee, Anindya; Drossopoulou, Sophia; Huisman, Marieke; Igarashi, Atsushi; Leavens, Gary T.; Müller, Peter; Wrigstad, Tobias

doi:10.1007/978-3-642-02047-6_8

Elvira Albert¹⁷,
Anindya Banerjee¹⁸,
Sophia Drossopoulou¹⁹,
Marieke Huisman²⁰,
Atsushi Igarashi²¹,
Gary T. Leavens²²,
Peter Müller²³ &
…
Tobias Wrigstad²⁴

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5475))

Included in the following conference series:

European Conference on Object-Oriented Programming

325 Accesses

Abstract

This report gives an overview of the 10th Workshop on Formal Techniques for Java-like Programs at ECOOP 2008. It explains the motivation for the workshop, and summarizes the presentations and discussions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Formal Specification with the Java Modeling Language

The Karlsruhe Java Verification Suite

Dynamic Logic for Java

Author information

Authors and Affiliations

Complutense University of Madrid, Spain
Elvira Albert
Kansas State University, USA
Anindya Banerjee
Imperial College London, UK
Sophia Drossopoulou
University of Twente, Netherlands
Marieke Huisman
Kyoto University, Japan
Atsushi Igarashi
University of Central Florida, USA
Gary T. Leavens
ETH Zurich, Switzerland
Peter Müller
Purdue University, USA
Tobias Wrigstad

Authors

Elvira Albert
View author publications
You can also search for this author in PubMed Google Scholar
Anindya Banerjee
View author publications
You can also search for this author in PubMed Google Scholar
Sophia Drossopoulou
View author publications
You can also search for this author in PubMed Google Scholar
Marieke Huisman
View author publications
You can also search for this author in PubMed Google Scholar
Atsushi Igarashi
View author publications
You can also search for this author in PubMed Google Scholar
Gary T. Leavens
View author publications
You can also search for this author in PubMed Google Scholar
Peter Müller
View author publications
You can also search for this author in PubMed Google Scholar
Tobias Wrigstad
View author publications
You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

Department of Computer Science, Purdue University, 305 N University St, IN 47907, West Lafayette, USA
Patrick Eugster

Rights and permissions

Reprints and permissions

Copyright information

About this paper

Cite this paper

Albert, E. et al. (2009). Formal Techniques for Java-Like Programs. In: Eugster, P. (eds) Object-Oriented Technology. ECOOP 2008 Workshop Reader. ECOOP 2008. Lecture Notes in Computer Science, vol 5475. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02047-6_8

Download citation

DOI: https://doi.org/10.1007/978-3-642-02047-6_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02046-9
Online ISBN: 978-3-642-02047-6
eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics