Skip to main content
SpringerLink
Log in

Formal Techniques for Java-Like Programs

Report on the WS FTfJP at ECOOP’06

  • Conference paper
Object-Oriented Technology. ECOOP 2006 Workshop Reader (ECOOP 2006)

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

Included in the following conference series:

  • 263 Accesses

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.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Coglio, A., et al.: Formal techniques for Java-like programs. In: Malenfant, J., Østvold, B.M. (eds.) ECOOP 2004. LNCS, vol. 3344, pp. 76–83. Springer, Heidelberg (2005)

    Google Scholar 

  2. Eisenbach, S., et al.: Formal techniques for Java-like programs. In: Buschmann, F., Buchmann, A.P., Cilia, M.A. (eds.) Object-Oriented Technology. ECOOP 2003 Workshop Reader. LNCS, vol. 3013, pp. 62–71. Springer, Heidelberg (2004)

    Google Scholar 

  3. Leavens, G.T., et al.: Formal techniques for Java-like programs. In: Hernández, J., Moreira, A. (eds.) Object-Oriented Technology. ECOOP 2002 Workshop Reader. LNCS, vol. 2548, pp. 203–210. Springer, Heidelberg (2002)

    Google Scholar 

  4. Leavens, G.T., et al.: Formal techniques for Java programs. In: Frohner, A. (ed.) Object-Oriented Technology. ECOOP 2001 Workshop Reader. LNCS, vol. 2323, pp. 30–40. Springer, Heidelberg (2002)

    Google Scholar 

  5. Drossopoulou, S., et al.: Formal techniques for Java programs. In: Malenfant, J., Moisan, S., Moreira, A.M.D. (eds.) Object-Oriented Technology: ECOOP 2000 Workshop Reader. LNCS, vol. 1964, pp. 41–54. Springer, Heidelberg (2000)

    Google Scholar 

  6. Jacobs, B., et al.: Formal techniques for Java programs. In: Moreira, A.M.D., Demeyer, S. (eds.) Object-Oriented Technology. ECOOP’99 Workshop Reader. LNCS, vol. 1743, pp. 97–115. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  7. Eisenbach, S.: Formal underpinnings of Java. Workshop report (1998), Available from http://www-dse.doc.ic.ac.uk/~sue/oopsla/cfp.html

Download references

Author information

Authors and Affiliations

  1. No Affiliation,  

    Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter & Elena Zucca

Authors
  1. Davide Ancona
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sophia Drossopoulou
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Atsushi Igarashi
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Gary T. Leavens
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Arnd Poetzsch-Heffter
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Elena Zucca
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Mario Südholt Charles Consel

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer Berlin Heidelberg

About this paper

Cite this paper

Ancona, D., Drossopoulou, S., Igarashi, A., Leavens, G.T., Poetzsch-Heffter, A., Zucca, E. (2007). Formal Techniques for Java-Like Programs. In: Südholt, M., Consel, C. (eds) Object-Oriented Technology. ECOOP 2006 Workshop Reader. ECOOP 2006. Lecture Notes in Computer Science, vol 4379. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71774-4_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-71774-4_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-71772-0

  • Online ISBN: 978-3-540-71774-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation