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

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

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 proceeding › Conference contribution › Academic

13 Downloads (Pure)

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 language	English
Title of host publication	Object-Oriented Technology. ECOOP 2008 Workshop Reader
Editors	P. Eugster
Place of Publication	Berlin
Publisher	Springer
Pages	70-76
Number of pages	7
ISBN (Print)	978-3-642-02046-9
DOIs	https://doi.org/10.1007/978-3-642-02047-6_8
Publication status	Published - 2009
Event	Object-Oriented Technology. ECOOP 2008 Workshop Reader - Paphos, Cyprus Duration: 8 Jul 2008 → 8 Jul 2008

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Volume	5475
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Workshop

Workshop	Object-Oriented Technology. ECOOP 2008 Workshop Reader
Period	8/07/08 → 8/07/08
Other	July 8, 2008

Keywords

EWI-15155
IR-62761
METIS-263757

Access to Document

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

Cite this

Albert, E., Banerjee, A., Drossopoulou, S., Huisman, M., Igarashi, A., Leavens, G. T., 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 (pp. 70-76). Article 10.1007/978-3-642-02047-6_8 (Lecture Notes in Computer Science; Vol. 5475). Springer. https://doi.org/10.1007/978-3-642-02047-6_8

@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 ; Object-Oriented Technology. ECOOP 2008 Workshop Reader ; Conference date: 08-07-2008 Through 08-07-2008",

year = "2009",

doi = "10.1007/978-3-642-02047-6_8",

language = "English",

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",

address = "Germany",

}

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, Object-Oriented Technology. ECOOP 2008 Workshop Reader, 8/07/08. 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. et al.
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 proceeding › Conference contribution › Academic

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

T2 - Object-Oriented Technology. ECOOP 2008 Workshop Reader

Y2 - 8 July 2008 through 8 July 2008

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). doi: 10.1007/978-3-642-02047-6_8

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

Abstract

Publication series

Workshop

Keywords

Access to Document

Fingerprint

Cite this