Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008

E. Albert, A. Banerjee, S. Drossopoulou, Marieke Huisman, A. Igarashi, G.T. Leavens, P. Müller, T. Wrigstad

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

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 summarises the presentations and discussions.
Original languageUndefined
Title of host publicationObject-Oriented Technology. ECOOP 2008 Workshop Reader
EditorsP. Eugster
Place of PublicationBerlin
PublisherSpringer
Pages70-76
Number of pages7
ISBN (Print)978-3-642-02046-9
DOIs
Publication statusPublished - 2009

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume5475
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Keywords

  • EWI-15155
  • IR-62761
  • METIS-263757

Cite this

Albert, E., Banerjee, A., Drossopoulou, S., Huisman, M., Igarashi, A., Leavens, G. T., ... Wrigstad, T. (2009). Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008. In P. Eugster (Ed.), Object-Oriented Technology. ECOOP 2008 Workshop Reader (pp. 70-76). [10.1007/978-3-642-02047-6_8] (Lecture Notes in Computer Science; Vol. 5475). Berlin: Springer. https://doi.org/10.1007/978-3-642-02047-6_8
Albert, E. ; Banerjee, A. ; Drossopoulou, S. ; Huisman, Marieke ; Igarashi, A. ; Leavens, G.T. ; Müller, P. ; Wrigstad, T. / Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008. Object-Oriented Technology. ECOOP 2008 Workshop Reader. editor / P. Eugster. Berlin : Springer, 2009. pp. 70-76 (Lecture Notes in Computer Science).
@inproceedings{9a0668136e7c4b91b52e601a29559d54,
title = "Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008",
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 summarises the presentations and discussions.",
keywords = "EWI-15155, IR-62761, METIS-263757",
author = "E. Albert and A. Banerjee and S. Drossopoulou and Marieke Huisman and A. Igarashi and G.T. Leavens and P. M{\"u}ller and T. Wrigstad",
note = "10.1007/978-3-642-02047-6_8",
year = "2009",
doi = "10.1007/978-3-642-02047-6_8",
language = "Undefined",
isbn = "978-3-642-02046-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "70--76",
editor = "P. Eugster",
booktitle = "Object-Oriented Technology. ECOOP 2008 Workshop Reader",

}

Albert, E, Banerjee, A, Drossopoulou, S, Huisman, M, Igarashi, A, Leavens, GT, Müller, P & Wrigstad, T 2009, Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008. in P Eugster (ed.), Object-Oriented Technology. ECOOP 2008 Workshop Reader., 10.1007/978-3-642-02047-6_8, Lecture Notes in Computer Science, vol. 5475, Springer, Berlin, pp. 70-76. https://doi.org/10.1007/978-3-642-02047-6_8

Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008. / Albert, E.; Banerjee, A.; Drossopoulou, S.; Huisman, Marieke; Igarashi, A.; Leavens, G.T.; Müller, P.; Wrigstad, T.

Object-Oriented Technology. ECOOP 2008 Workshop Reader. ed. / P. Eugster. Berlin : Springer, 2009. p. 70-76 10.1007/978-3-642-02047-6_8 (Lecture Notes in Computer Science; Vol. 5475).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

TY - GEN

T1 - Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008

AU - Albert, E.

AU - Banerjee, A.

AU - Drossopoulou, S.

AU - Huisman, Marieke

AU - Igarashi, A.

AU - Leavens, G.T.

AU - Müller, P.

AU - Wrigstad, T.

N1 - 10.1007/978-3-642-02047-6_8

PY - 2009

Y1 - 2009

N2 - 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 summarises the presentations and discussions.

AB - 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 summarises the presentations and discussions.

KW - EWI-15155

KW - IR-62761

KW - METIS-263757

U2 - 10.1007/978-3-642-02047-6_8

DO - 10.1007/978-3-642-02047-6_8

M3 - Conference contribution

SN - 978-3-642-02046-9

T3 - Lecture Notes in Computer Science

SP - 70

EP - 76

BT - Object-Oriented Technology. ECOOP 2008 Workshop Reader

A2 - Eugster, P.

PB - Springer

CY - Berlin

ER -

Albert E, Banerjee A, Drossopoulou S, Huisman M, Igarashi A, Leavens GT et al. Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008. In Eugster P, editor, Object-Oriented Technology. ECOOP 2008 Workshop Reader. Berlin: Springer. 2009. p. 70-76. 10.1007/978-3-642-02047-6_8. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-02047-6_8